Review
"The simple examples taught me the fundamental concepts of SVA while the real life examples solidified my understanding of the language and helped me apply it to my own verification challenges. Once again, the authors clearly explain complex verification subjects and by doing so address a need in the chip development community." --
Vincent Au, Verification Engineer, Ambarella Corporation"Verification Central has provided an invaluable resource for design and verification engineers. The Art of Verification with SystemVerilog Assertions should be required reading for these professionals. It is a great reference for SystemVerilog Assertions and an excellent companion to the VMM for SystemVerilog." --
Ed Cerny (former Co-chair) SystemVerilog Assertion Committee, Synopsys Author VMM for SystemVerilogSystemVerilog and new generation Formal Verification Tools means times are changing for verification and design engineers alike. Formal Verification was for the specialist expert, but is now fast becoming main stream along with simulation - Jasper-DA calls this the "Formal Revolution." Engineers need to know how to write verification assertions, probably in SystemVerilog, for designs so that the assertions can be tracked during simulation or proven 100% with formal.
Needing to learn SystemVerilog Assertions myself, I picked up a copy of the book "The Art of Verification with SystemVerilog Assertions." I wanted to fully understand SystemVerilog Sequences in order to write better property assertion requirements. I like practical books and found this book very practical. It is also an easy book to read and comprehend. It covers sequences very well and found it relatively painless to understand sequences in depth, in one sitting, on a recent plane trip. The book goes onto show how to use sequences within "SystemVerilog Properties and how these properties are asserted on the design under verification.
This book also describes many common problems and solutions, assertion methodologies, and takes you through the assertion-based verification of an OCP Cache. I'd recommend this book to any ASIC or FPGA design or verification engineer." --Doug Smith, Senior Application Engineer, Jasper Design Automation, Author of "HDL Chip Design"
About the Author
Faisal Haque has 20+ years experience in high-level verification and design of complex networking hardware. He was the former chair of SystemVerilog Assertions committee and is currently chairing the UCIS committee. He received his bachelors in electrical engineering from the University of Notre Dame.
Jonathan Michelson has 12+ years of experience designing and verifying complex designs. He was co-designer of a verification language and methodology at Silicon Graphics. He received his bachelors and masters degrees in electrical engineering and computer science from the Massachusetts Institute of Technology.
Khizar Khan has 9 years of experience in high-level verification and developing verification infrastructures. At Raza Microelectronics Incorporated, he is contributing to the verification of next generation microprocessors. He received his bachelors in electrical engineering from the University of Rochester.
