1. Mike Mintz Co-author, Hardware Verification with C++ and Hardware Verification with SystemVerilog [email_address] OOP for Hardware Verification ̶ Demystified!

3. Common Currency *There is nothing new under the sun. Sub sole nihil novi est.*

5. Data Abstraction – Code Details Procedural Data Abstraction struct usb_driver {wire d_plus, d_minus;} void usb_init (usb_driver * d); void usb_send_packet (usb_driver * d, int type, int* data, int length); void usb_enumerate (usb_driver * d); struct usb_driver { wire d_plus, d_minus; void init (); void send_packet (int type, int* data, int length); void enumerate (); }; begin usb_driver driver; usb_init (&driver); usb_enumerate (&driver); usb_send (&driver, 0, {0,12}, 2); end begin usb_driver driver; driver. init (); driver.enumerate (); driver.send (0, {0,12}, 2); end

7. Virtual Functions Monitor class Derived for printing struct usb_printer: public usb_monitor { virtual void packet_completed (int length, int* data) { for (int i(0); i < length; ++i) { printf (“Packet [%d]:0x%x”, i, data[i]); } } }; Derived for checker struct usb_checker : public usb_monitor { virtual void packet_completed (int length, int* data) { checker_->check (length, data); } checker* checker_; }; Derived for channel struct usb_monitor_agent : public usb_monitor { virtual void packet_completed (int length, int* data) { channel_->put (data_packet (length, data)); } usb_channel* channel_; }; struct usb_monitor { wire d_plus, d_minus; void start_monitor_thread (); virtual void packet_completed (int length, int* data) =0; };

9. Base Classes – Code Details struct irritator { virtual void out_of_reset () =0; virtual void start () =0; virtual void stop () =0; virtual void wait_for_completion () =0; }; Irritator class Derived for USB Derived for PCIE Derived for Ethernet struct usb_irritator : public irritator { virtual void out_of_reset (); virtual void start (); virtual void stop (); virtual void wait_for_completion (); }; struct pcie_irritator: public irritator { virtual void out_of_reset (); virtual void start (); virtual void stop (); virtual void wait_for_completion (); }; struct ethernet_irritator: public irritator { virtual void out_of_reset (); virtual void start (); virtual void stop (); virtual void wait_for_completion (); };

10. Using OOP – Truss Top-Level Components Source: Hardware Verification with C++, page 95, page 100 class verification_component { public: verification_component (const std::string&); virtual void randomize () = 0; virtual void time_zero_setup () = 0; virtual void out_of_reset (reset r) = 0; virtual void start () = 0; virtual void wait_for_completion () = 0; virtual void report (const std::string) = 0; };

11. The “Dance” Source: Hardware Verification with C++, page 97 Source: Hardware Verification with C++, page 117

12. The “Dance” ̶ painfully detailed Source: Hardware Verification with C++, page 120 Source: Hardware Verification with C++, page 121

14. Q & A* *shameless plug