摘要 |
Verifying operation of a device, where the device may have one or more inputs and one or more outputs, with at least one input and/or output associated with an intelligent connector. The intelligent connector is a data structure that contains the name of a variable transported by that connector, an address of the variable itself as a value in memory, and further information of the device producing the variable, at least in the form of address or pointer to the device data structure and the addresses of all other devices consuming that variable. |