HOME       UP       PREV       NEXT (ABD - PSL Four-Level Syntax Structure)  

PSL Assertion, General Structure

The general structure of a PSL assertion has the following parts:

The always operator is the most frequently used one and it specifies that the following property expression should hold at all (qualified) times.

The 'assert' keyword can be replaced with 'cover' and instead of errors being reported statistics on hold and fail are accumulated.


11: (C) 2012-18, DJ Greaves, University of Cambridge, Computer Laboratory.