ASIC and FPGA Verification

Книги на иностранных языках → Hot lists → Книги издательства Elsevier со скидкой → Morgan Kaufmann
ASIC and FPGA Verification
Автор
 
Год
 
Страниц
 
336
ISBN
 
9780125105811
Категория
 
Morgan Kaufmann

Описание:

ASIC and FPGA Verification

Похожие книги

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model CheckingModeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Автор: Doron Drusinsky
Год: 2006
Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised ... / Programming and Software Engineering)Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised ... / Programming and Software Engineering)
Автор: Eyal Bin, Avi Ziv, Shmuel Ur
Год: 2007
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
Автор: Saddek Bensalem, Doron A. Peled
Год: 2009
Scalable Techniques for Formal VerificationScalable Techniques for Formal Verification
Автор: Sandip Ray
Год: 2010
Source-Level Debugging of VHDL DesignsSource-Level Debugging of VHDL Designs
Год: 2010
Formal Verification: For Digital Circuit DesignFormal Verification: For Digital Circuit Design
Автор: Perry D.L., Foster H.
Год: 2005