FIFO Verification Based on PSL
Jian Guo · Science Technology and Engineering · 2010
Property specification language PSL is an IEEE standard language for describing properties of hardware system.A new method based assertion verification(ABV)for the designing and verification of hardware is presented.Being PSL as the language of ABV makes assertions be concise syntax,rigorously well-defined formal semantics.The general method to verify a designing of using PSL by an example is given.