Smart ways to write System Verilog Assertions
More InfoLess Info
The lack of an "efficient assertion coding methodology" imprints Assertion Based Verification (ABV) adoption as a colossal task in some minds. The foremost challenge in terms of adopting an assertion methodology is the time spent on the "learning curve" of an assertion language. This article describes a few of the rules/guidelines focusing on System verilog assertions (since this standard has gained wide acceptance) which would help in writing effective assertion code enabling a robust ABV environment.