Model based verification using intelligent connectors

摘要

The described embodiments concern verifying operation of a device, where the device may have one or more inputs and/or one or more outputs. At least one input and/or output is associated with an intelligent connector. An intelligent connector is a combination of a signal transport path and a data structure. The signal transport path may be electrical conductors leading to the device or a physical connector associated with the device. The data structure contains the name of a variable transported by the associated physical connector, an address of the variable itself as a value in memory, and further information of a source device that produces the variable, at least in the form of address or pointer to the source device data structure and the addresses of all destination devices that consume the variable.

主权项

1. An apparatus for verifying operation of a device under verification, comprising:
a signal transport path configured to couple a signal to one or more inputs, or from one or more outputs, of the device under verification; a processing platform configured to support a data structure, the processing platform further configured to combine the signal transport path and a data structure to form an intelligent connector; the intelligent connector being capable of at least one of (i) demoting a signal form within the device toward an input side of the device and (ii) promoting the signal form within the device toward an output side of the device.