Verification techniques for system-level design [electronic resource]

• Tác giả: Masahiro Fujita, Indradeep Ghosh, Mukul Prasad
• Ngôn ngữ: eng
• ISBN-10: 0123706165
• ISBN-13: 978-0123706164
• Ký hiệu phân loại: 621.3815 Electrical, magnetic, optical, communications, computer engineering; electronics, lighting
• Thông tin xuất bản: Amsterdam ; Boston : Morgan Kaufmann Publishers , 2008
• Mô tả vật lý: viii, 240 p. : , ill. ; , 25 cm.
• Bộ sưu tập: Khoa học ứng dụng
• ID: 30597
• Chủ đề: 1. Formal methods (Computer science); 2. Integrated circuits--Verification; 3. Systems on a chip--Testing

Includes bibliographical references and index.