Project VeriPage announces three new articles this month. As always, these and all other articles on Project VeriPage are free. For the complete list of articles, please go to:
(a) Property Specification Language (PSL) Tutorial: Part 3:
We wrap up our discussion on PSL with its verification and modeling layers and various miscelleneous features that it offers.
(b) SystemVerilog Dynamic Array:
This articles shows how to work with a dynamic array in your simulation environment without declaring its size beforehand.
(c) SystemVerilog Assertion: Part 2 - Introduction to Sequences:
After the Boolean Expression Layer, we move to the Sequence Layer and discuss how to define a sequence and operators that work with sequences.