Texas Instruments Corporation

Richard P Wiley

Donald Edward Steiss

Anthony Martin Hill

A computer system ( ). The computer system comprises processing circuitry ( ) and storage circuitry ( ) for storing a plurality of files. The plurality of files include a circuit description file ( ) comprising data describing devices and signals in a circuit. The plurality of files also include a plurality of list expressions ( ) relating to one of devices, signals, or devices and signals described by the data in the circuit description. Still further, the plurality of files also include a plurality of rules ( ). The processing circuitry is programmed to perform various steps. These steps include processing ( ) the plurality of list expressions to extract a plurality of lists in response to the circuit description. Each of the plurality of lists comprises a non-negative integer number of elements. The programmed steps further include processing ( ) the plurality of rules to evaluate one or more of the plurality of lists to verify connection accuracy within the circuit in response to the non-negative integer number of elements.

Growing community of inventors

Lucas, TX, United States of America

Richard P Wiley