TY  - BOOK
AU  - Vijayaraghavan,Srikanth
AU  - Ramanathan,Meyyappan
TI  - A practical guide for systemverilog assertions
SN  - 0387260498 (hardcover)
U1  - 621.392 
PY  - 2005///
CY  - New Delhi
PB  - Springer
N2  - SystemVerilog language consists of three�categories of features�-- Design, Assertions and Testbench.� Assertions add a whole new dimension to the ASIC verification process.���Engineers are used to writing testbenches in verilog that help�verify their design.� Verilog is a procedural language and is very limited in capabilities to handle the complex ASICs built today.� SystemVerilog assertions (SVA) is a declarative language.� The temporal nature of the language provides excellent control over time and allows mulitple processes to execute simultaneously.� This provides the�engineers a very strong tool to solve their verification problems.� The language is still new and the thinking is very different from the�user's perspective when compared to standard verilog language.� There is not enough expertise or intellectual property available as of today in the field.� While the language has been defined very well, there is no practical guide that shows how to use the language to solve real verification problems.� This book is a practical guide that will help people to understand this new language and adopt assertion based verification methodology quickly
UR  - http://www.amazon.com/exec/obidos/ASIN/0387260498/chopaconline-20
ER  -