Method for comprehensive integration verification of mixed-signal circuits

A method of mixed-signal design verification, comprising:

• providing a netlist file representing ports, an analog circuit block and a digital circuit block of a mixed-signal circuit design;
• and
• generating an executable specification file according to the netlist file, the executable specification file including a plurality of integration abstractions that represent an intended integration of the ports and digital circuit blocks of the mixed-signal design,
• wherein generating the executable specification file includes at least one of:
• adding a first construct to the executable specification file to represent internal direct connections of the mixed-signal design;
• adding a second construct and at least one logic expression to the executable specification file to represent a mixed-signal control logic circuit block of the mixed-signal design;
• adding a third construct to the executable specification file to represent unconnected external ports of the mixed-signal circuit design;
• or
• adding a fourth construct to the executable specification file to represent a switched connection of the mixed-signal design.

A method of verifying integration of a mixed-signal circuit design, the method comprising:

• generating an executable specification file including a plurality of integration abstractions that represent an intended integration of ports and digital and/or analog circuit blocks of the mixed-signal design;
• generating, using a processor executing a software program, a formal properties file representing the intended integration of ports and digital and/or analog circuit blocks of the mixed-signal design;
• and
• modeling an analog circuit component of the mixed-signal circuit design as a digital circuit component in a model file for verification using an electronic design automation (EDA) tool,
• wherein generating the executable specification file includes at least one of:
• adding a first construct to the executable specification file to represent internal direct connections of the mixed-signal design;
• adding a second construct and at least one logic expression to the executable specification file to represent a mixed-signal control logic circuit block of the mixed-signal design;
• adding a third construct to the executable specification file to represent unconnected external ports of the mixed-signal circuit design;
• or adding a fourth construct to the executable specification file to represent a switched connection of the mixed-signal design.