1. <A> Roadmap for Formal Property Verification
Author: \ by Pallab Dasgupta
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Integrated circuits -- Verification,مدارهای مجتمع -- راستی‌آزمایی
Classification :
E-Book
,
2. Assertion-Based Design
Author: \ Harry Foster, Adam Krolnik, David Lacey
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Verilog (Computer hardware description language),مدارهای مجتمع -- مجتمع‌سازی در مقیاس بسیار بزرگ -- طرح و ساختمان,مدارهای مجتمع -- راستی‌آزمایی,وریلاگ (زبان توصیفی سخت‌افزار کامپیوتر)
Classification :
E-Book
,
3. Comprehensive Functional Verification the Complete Industry Cycle
Author: \ Bruce Wile, John C. Goss, Wolfgang Roesner.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Integrated circuits -- Verification.,Computer engineering.,مدارهای مجتمع -- راستی‌آزمایی ,مهندسی کامپیوتر
Classification :
E-Book
,
4. Generating Hardware Assertion Checkers
Author: \ Marc Boulé, Zeljko Zilic
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Integrated circuits -- Very large scale integration -- Computer-aided design. ,Integrated circuits -- Verification. ,مدارهای مجتمع -- مجتمع‌سازی در مقیاس بسیار بزرگ -- طراحی به کمک کامپیوتر,مدارهای مجتمع -- راستی‌آزمایی
Classification :
E-Book
,
5. Integrated Circuit Authentication
Author: \ Mohammad Tehranipoor, Hassan Salmani, Xuehui Zhang
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Integrated circuits -- Verification.,Hardware Trojans (Computers),مدارهای مجتمع -- راستی‌آزمایی
Classification :
E-Book
,
6. Trace-Based Post-Silicon Validation for VLSI Circuits
Author: \ Xiao Liu, Qiang Xu
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Integrated circuits -- Very large scale integration -- Design and construction.,Integrated circuits -- Verification.,مدارهای مجتمع -- مجتمع‌سازی در مقیاس بسیار بزرگ -- طراحی و ساخت ,مدارهای مجتمع -- راستی‌آزمایی
Classification :
E-Book
,
