Working with assertions
M. Peryer · Electronic Systems and Software · 2004
Assertions provide the ability to trap many problems in designs produced using hardware description languages and an assertion-based verification strategy allows designers to build reusable testbench code for faster design debugging.