Transistor level low power verification for mixed signal circuit design

A non-transitory computer-readable medium embodying instructions that, when executed by one or more processors, cause the one or more processors to perform operations comprising:

• performing an electronic design automation (EDA) verification for a mixed-signal design for an integrated circuit, the mixed-signal design including both an analog circuit portion and a digital circuit portion, the performing including:
• accessing the analog circuit portion in the mixed-signal design, and power-related data characterizing the mixed-signal design;
• generating a first version of power-related connectivity data from an analog design schematic of the analog circuit portion in the mixed-signal design by using an analog circuit simulator of the EDA to propagate power supply data through the analog design schematic;
• and
• determining consistency between different versions of a plurality of versions of power-related connectivity data characterizing the mixed-signal design, the plurality of versions of power-related connectivity data including:
• the first version of power-related connectivity data from the analog circuit portion in the mixed-signal design;
• and
• a second version of power-related connectivity data from the power-related data characterizing the mixed-signal design.

An electric design automation (EDA) computing device comprising:

• a memory;
• one or more hardware processors coupled to the memory;
• a processor implemented EDA module configured to perform:
• initiating a EDA verification analysis for a mixed-signal design for an integrated circuit, the mixed-signal design including both an analog circuit portion and a digital circuit portion;
• accessing processors, power-related data characterizing the mixed-signal design and the analog circuit portion in the mixed-signal design;
• generating a first version of power-related connectivity data from an analog design schematic of the analog circuit portion in the mixed-signal design by using an analog circuit simulator of the EDA computing device to propagate power supply data through the analog design schematic;
• and
• performing the verification analysis for a mixed-signal design based on a plurality of versions of power-related connectivity data characterizing the mixed-signal design, the plurality of versions including the first version based on the analog circuit portion in the mixed-signal design and a second version based on the power-related data characterizing the mixed-signal design.