Tài liệu :
Applied formal verification
Tác giả :
Douglas L. Perry;Harry D. Foster
Năm xuất bản :
2005
Nhà Xuất bản :
McGraw-Hill
Từ khóa :
Electronic circuits,Testing,Integrated circuits,Verification
Số trang :
261 p.
Xem tài liệu 1
Tải file Applied formal verification