Janick Bergeron, Scientist, Verifications Group, Synopsys

This paper describes how to properly use the object-oriented features of SystemVerilog to model data and transactions at a high-level of abstraction. Designers, used to a procedural programming model, will learn how to approach a modeling problem using the object-oriented approach. Software engineers, used to a traditional object-oriented programming model, will learn how to adapt their methods to the special requirements of constrained-random verification. This paper will present clear and concise guidelines that can be followed to create effective, easy-to-use and reusable data and transaction models and the transactors that operator on them.