الكتب الالكترونية

عدد الكتب: 1 - 3 /3
978-0-387-36123-9
A Practical Introduction to PSL

Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...

اقرأ المزيد
978-1-4020-8586-4
Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...

اقرأ المزيد
978-0-387-25556-9
Verification Methodology Manual for SystemVerilog

Verification Methodology Manual for SystemVerilog is a blueprint for verification success, guiding SoC teams in building ...

اقرأ المزيد
عدد الكتب: 1 - 3 /3