Composite Power State Table for EDA Verification
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
In electronic design automation, the complexity of circuit designs often requires multiple power state tables to describe various power states, making it challenging to analyze interconnections between different power domains and ensure adequate power intent specifications, particularly for active power management architectures.
Innovation Solution
The implementation of tools and mechanisms that select a subset of power state tables based on associated power supplies to generate a composite power state table, allowing for the identification of electrical characteristics and determination of necessary interface circuitry for interconnections between power domains.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Adaptability or versatility
If multiple power state tables are used to describe various power states, then the ability to model complex power management architectures is improved, but the complexity of analyzing interconnections between power domains increases
Solution Approach 1:
The patent combines multiple power state tables into a single composite power state table that integrates power states from different power domains. This merging approach allows the analysis tool to evaluate interconnections between power domains using a unified table, thereby maintaining the ability to model complex power management architectures while reducing the analytical complexity of evaluating power domain interconnections.
2Measurement precision
If a composite power state table is generated from multiple power state tables, then the accuracy of power domain interconnection analysis is improved, but the computational resources required increase
Solution Approach 1:
The patent segments the power state table generation process by identifying and combining only those power state tables that are relevant to the specific interconnection being analyzed. Rather than generating a composite table from all available power state tables, the tool selectively combines tables corresponding to the power domains involved in the interconnection, thereby maintaining analytical accuracy while reducing computational resource consumption.
3Reliability
If all power state tables are analyzed to ensure adequate power intent specifications, then the reliability of power management verification is improved, but the time required for design verification increases
Solution Approach 1:
The patent extracts and focuses analysis only on the specific power state tables that are relevant to the interconnection being evaluated. By identifying the subset of power state tables that correspond to the power domains involved in an interconnection and analyzing only those, the tool ensures reliable power management verification while significantly reducing the time required compared to analyzing all power state tables comprehensively.
Data Source
AI summary
This application discloses a computing system to identify an interconnection between portions of a circuit design corresponding to different power domains. The computing system can select a subset of power state tables in the circuit design based, at least in part, on power supplies associated with the interconnection, and generate a composite power state table from the selected subset of power state tables. The computing system can analyze the interconnection to identify electrical characteristics based, at least in part, on power states in the composite power state table, and determine whether a power intent specification in the circuit design can prompt synthesis of interface circuitry capable of implementing the electrical characteristics for the interconnection.