Tool for automatically generating an abstract specification of a physical system and method of producing a physical system using said tool

摘要

The verification tool produces automatically the formal description of the function of a physical system from the actual implementation of the system. Each element of the implementation has a data object associated with it. Each physical connection is described by a structural attribute of the object. Each of the objects are then grouped to represent structural units in the physical circuit. The functional attribute of each unit is represented by a string of characters that translate to a formal description language. A re-use mechanism automatically previously described objects, replaces individual objects with groups objects. The functional attribute values are then concatenated to produce formal descriptions of the functional aspect of the system.