Model based verification using intelligent connectors
AssigneeCerton Software Inc.
InventorsCarlo Amalfitano, Timothy Stockton, Christopher Marot
Life of this patent
Estimating the term…
Abstract
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.
Claims1
An apparatus for verifying operation of a device under verification, wherein the device may have one or more inputs and one or more outputs, with at least one input and/or output made to point to an intelligent connector, wherein the intelligent connector s 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.
Dependencies are inferred from the claim text.