US 11,669,668 B2
Method for comprehensive integration verification of mixed-signal circuits
Sudhakar Surendran, Bangalore (IN)
Assigned to TEXAS INSTRUMENTS INCORPORATED, Dallas, TX (US)
Filed by Texas Instruments Incorporated, Dallas, TX (US)
Filed on Apr. 18, 2022, as Appl. No. 17/722,445.
Application 17/722,445 is a continuation of application No. 17/168,230, filed on Feb. 5, 2021, granted, now 11,334,701.
Application 17/168,230 is a continuation of application No. 16/658,794, filed on Oct. 21, 2019, granted, now 10,949,594, issued on Mar. 16, 2021.
Application 16/658,794 is a continuation of application No. 15/333,457, filed on Oct. 25, 2016, granted, now 10,489,538, issued on Nov. 26, 2019.
Prior Publication US 2022/0237355 A1, Jul. 28, 2022
Int. Cl. G06F 30/367 (2020.01); G06F 30/33 (2020.01); G06F 30/3323 (2020.01)
CPC G06F 30/367 (2020.01) [G06F 30/33 (2020.01); G06F 30/3323 (2020.01)] 11 Claims
OG exemplary drawing
 
1. A method comprising:
processing an executable specification file using a processor executing a software program to generate a formal properties file;
modeling an analog circuit component of a mixed-signal circuit design as a digital circuit component in a model file;
modeling at least one analog circuit block of the mixed-signal circuit design as one or more ports in the model file; and
verifying correspondence of connections and integration of the formal properties file and the model file with the mixed-signal circuit design using a processor executing an electronic design automation (EDA) tool to generate a coverage report file;
wherein at least one of a plurality of integration abstractions in the executable specification file is of one of a plurality of construct types comprising:
a first construct for representing assignment of internal direct connections of the mixed-signal circuit design;
a second construct indicating at least one logic expression for representing conditional logic expressions in control logic of the mixed-signal circuit design;
a third construct for representing unconnected external ports of the mixed-signal circuit design; or
a fourth construct for representing switched internal connections of the mixed-signal circuit design.