Automatic Power Management Verification Environment Generation
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Current power management verification methods require manual creation of bus functional models and coverage monitors, leading to significant burdens in verification efforts and limited reuse due to design-specific changes, resulting in inefficient and error-prone processes.
Innovation Solution
A computer-implemented method for automatically generating a power management verification environment, including a driver and a monitor, based on a power intent definition, which uses a parser to create internal data structures and undergo synthesis and code generation phases, thereby reducing manual development requirements and ensuring adherence to design specifications.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If manual creation of power management verification components is performed, then verification accuracy can be ensured, but development time and effort increase significantly
Solution Approach 1:
The patent creates a copy of the power intent definition file (PIDF) structure to generate the verification environment. The PIDF file serves as a template that automatically generates the bus functional model and coverage monitor, eliminating manual copying while ensuring consistency with the original power management specification.
Solution Approach 2:
The verification environment generates itself automatically from the PIDF file using a parser and code generation process. The system performs self-service by automatically creating the verification components without requiring manual intervention, thereby reducing development time while maintaining accuracy through automated consistency checks.
2Reliability
If custom verification components are developed for each design, then verification accuracy is improved, but reuse across designs is limited
Solution Approach 1:
The patent creates a universal verification environment generation system that works with any PIDF file conforming to the power intent definition format. The same parser and code generation process can be applied across different designs, making the verification approach universally applicable while maintaining design-specific accuracy through automated generation from each design's unique PIDF file.
3Productivity
If automated verification environment generation is implemented, then development efficiency improves, but complexity of the verification system increases
Solution Approach 1:
The patent introduces a PIDF file as an intermediary representation layer between the power management design and the verification environment. This intermediary format standardizes the power intent definition and serves as a bridge that the parser can automatically process, simplifying the overall system architecture despite the added automation capability.
4Measurement precision
If manual power management verification is performed, then coverage collection can be customized, but the burden on verification effort increases
Solution Approach 1:
The coverage monitor is automatically generated from the PIDF file to collect power management coverage metrics. The system performs self-service by automatically determining what coverage metrics are needed based on the power intent definition, eliminating the need for manual customization while maintaining precise coverage measurement capability.
Data Source
AI summary
The present disclosure relates to a computer-implemented method for automatically generating a power management verification component. The method may include receiving one or more inputs including a power intent definition. The method may further include automatically generating a power management verification environment based upon, at least in part, the power intent definition, the power management verification environment including at least one of a driver and a monitor.