1. A machine readable storage medium having stored therein a library of data structures defining verification components for use by a plurality of programming instructions to enable the plurality of programming instructions to perform, during verification of a device under verification, one or more of generating data objects, applying data objects to said design under verification, monitoring a physical interface, extracting data objects from said physical interface, and data object checking.