A practical guide for systemverilog assertions /
Vijayaraghavan, Srikanth.
A practical guide for systemverilog assertions / Srikanth Vijayaraghavan, Meyyappan Ramanathan. - New Delhi : Springer, 2005. - xxii,334 p. ; ( R 10, Sh 03)
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.
0387260498 (hardcover) 9780387260495 (hardcover)
Pak Book PKR 1772.10
621.392
A practical guide for systemverilog assertions / Srikanth Vijayaraghavan, Meyyappan Ramanathan. - New Delhi : Springer, 2005. - xxii,334 p. ; ( R 10, Sh 03)
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.
0387260498 (hardcover) 9780387260495 (hardcover)
Pak Book PKR 1772.10
621.392