Hardware design verification : simulation and formal method-based approaches

• Tác giả: William K. C Lam
• Ngôn ngữ: eng
• ISBN-10: 0131433474
• Ký hiệu phân loại: 621.392 Systems analysis and design, computer architecture
• Thông tin xuất bản: Upper Saddle River, NJ : Prentice Hall Professional Technical Reference, 2005
• Mô tả vật lý: 585 tr. ; , 24 cm
• Bộ sưu tập: Khoa học ứng dụng
• ID: 9284
• Chủ đề: 1. Integrated circuits--Verification