Manish Singhal, from LearnUVMVerification, presents a list of advantages of using assertions and describes the arbitration mechanism of UVM Sequences.
Keisuke Shimizu, from ClueLogic, shows how to dump transactions into a file using UVM do_record(). He also gives an overview of component overrides in UVM.
A short and practical article from Bryan Murdock on streaming an array of bytes into a “mismatched size” struct.
e-language users receive an update: it is now possible to use non-constants inside bin definitions of a coverage item. See Fine Tuning of Coverage Model Definition.
As Specman is celebrating 20 years since its first introduction to the public, a good chance to recap Why Do We Need a Verification Language?
AMIQ Resources page
you can find the contents of AMIQ’s bookshelf,
and the list of blogs
we periodically scan for recommended articles.