Hardware design verification : simulation and formal method-based approaches

0 Người đánh giá. Xếp hạng trung bình 0

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

Thêm vào giỏ

1. Integrated circuits--Verification

1. Tải sách (6.6MB)

1. Tải sách (6.6MB)

Tạo bộ sưu tập với mã QR