Dynamic Verification Testbench Coverage Control
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
The analysis of performance data from long-duration verification simulations of complex computer systems is challenging due to the large amount of data generated, making it difficult and time-consuming to determine coverage effectively.
Innovation Solution
A dynamic control system for a verification testbench that uses triggers with activation and deactivation conditions to selectively record performance data in a coverage database, reducing unnecessary data collection and storage.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If continuous coverage recording is performed during long-duration verification simulations, then complete performance data is collected, but data storage requirements and computational resources increase significantly
Solution Approach 1:
The patent extracts and records only the essential coverage information at specific trigger points rather than continuously recording all performance data. The coverage database stores condensed coverage metrics instead of raw simulation data, reducing storage requirements while maintaining verification completeness.
Solution Approach 2:
The patent implements dynamic control of coverage recording by enabling and disabling recording based on trigger conditions. The verification system adaptively adjusts when to record coverage data during simulation, activating recording only when relevant events occur and suspending it during irrelevant periods.
2Reliability
If continuous coverage recording is performed during long-duration verification simulations, then complete performance data is collected, but analysis time increases significantly
Solution Approach 1:
The patent extracts and records only the essential coverage information at specific trigger points rather than continuously recording all performance data. The coverage database stores condensed coverage metrics instead of raw simulation data, reducing storage requirements while maintaining verification completeness.
Solution Approach 2:
The patent implements dynamic control of coverage recording by enabling and disabling recording based on trigger conditions. The verification system adaptively adjusts when to record coverage data during simulation, activating recording only when relevant events occur and suspending it during irrelevant periods.
3Reliability
If all performance data is recorded throughout the simulation, then comprehensive coverage information is obtained, but computational resources are consumed unnecessarily
Solution Approach 1:
The patent extracts and records only the essential coverage information at specific trigger points rather than continuously recording all performance data. The coverage database stores condensed coverage metrics instead of raw simulation data, reducing storage requirements while maintaining verification completeness.
Solution Approach 2:
The patent implements dynamic control of coverage recording by enabling and disabling recording based on trigger conditions. The verification system adaptively adjusts when to record coverage data during simulation, activating recording only when relevant events occur and suspending it during irrelevant periods.
Data Source
AI summary
Embodiments include dynamic control of coverage by a verification testbench. Aspects include obtaining a design under test to be verified by the verification testbench and obtaining one or more testcases for execution by the verification testbench on the design under test. Aspects also include obtaining a plurality of triggers corresponding to the design under test, wherein each of the plurality of triggers includes an activation condition, a deactivation condition and a coverage. Aspects further include simulating, by the verification testbench, execution of the one or more testcases by the design under test. Based on detecting the activation condition of one of the plurality of triggers, aspects also include recording, in a coverage database, data specified in the coverage corresponding the one of the plurality of triggers until the deactivation condition is detected.