Publication year: 2008
: 978-0-387-68398-0
The focus of this book is to bring the assertion discussion up to a higher level and introduce a process for creating effective, reusable, assertion-based IP, which easily integrates with the user’s existing verification environment, in other words the testbench infrastructure.
: Engineering, Assertion-Based, Foster, Krolnik, SystemVerilog, Verification, Verilog, integrated circuits, optimization, simulation