Verisium SimAI App harnesses the power of machine learning technology with the Cadence Xcelium Logic Simulator - the ultimate breakthrough in accelerating verification closure. It builds models from regressions run in the Xcelium simulator, enabling the generation of new regressions with specific targets. The Verisium SimAI app also features cousin bug hunting, a unique capability that uses information from difficult-to-hit failures to expose cousin bugs. With these advanced machine learning techniques, Verisium SimAI offers the potential for a significant boost in productivity, promising an exciting future for our users.
Figure 1: Regression compression and coverage maximization with Verisium SimAI
What can I do with Verisium SimAI?
You can exercise different use cases with Verisium SimAI as per your requirements. For some users, the goal might be regression compression and improving coverage regain. Coverage maximization and hitting new bins could be another goal. Other users may be interested in exposing hard-to-hit failures, bug hunting for difficult to find issues. Verisium SimAI allows users to take on any of these challenges to achieve the desired results.
Let's go into some more details of these use cases and scenarios where using SimAI can have a big positive impact.
- Using SimAI for Regression Compression and Coverage Regain
Unlock up to 10X compute savings with SimAI!
Verisium SimAI can be used to compress regressions and regain coverage. This flow involves setting up your regression environment for SimAI, running your random regressions with coverage and randomization data followed by training, and finally, synthesizing and running the SimAI-generated compressed regressions. The synthesized regression may prune tests that do not help meet the goal and add more runs for the most relevant tests, as well as add run-specific constraints. This flow can also be used to target specific areas like areas involving a high code churn or high complexity.
You can check out the details of this flow with illustrative examples in the following Rapid Adoption Kits (RAK) available on the Cadence Learning and Support Portal (Cadence customer credentials needed):
- Using SimAI with vManager (For Regression Compression and Coverage Regain) (RAK)
- Using SimAI with a Generic Runner (For Regression Compression and Coverage Regain) (RAK)
- Using SimAI for Coverage Maximization and Targeting coverage holes
Reduce your Functional Coverage Holes by up to 40% using SimAI!
Verisium SimAI can be used for iterative coverage maximization. This is most effective when regressions are largely saturated, and SimAI will explicitly try to hit uncovered bins, which may be hard-to-hit (but not impossible) coverage holes. This is achieved using iterative learning technology where with each iteration, SimAI does some exploration and determines how well it performed. This technique can also be used for bug hunting by using holes as targets of interest.
See more details on the Cadence Learning and Support Portal:
- Using SimAI for Coverage Maximization - vManager flow (RAK)
- Using SimAI for Coverage Maximization - Generic Runner Flow (RAK)
- Using SimAI for Bug Hunting
Discover and fix bugs faster using SimAI!
Verisium SimAI has a new bug hunting flow which can be used to target the goal of exposing hard-to-hit failure conditions. This is achieved using an iterative framework and by targeting failures or rare bins. The goal to target failures is best exercised when the overall failure rate is typically low (below 5%). Iterative learning can be used to improve the ability to target specific areas. Use the SimAI bug hunting use case to target rare events, low hit coverage bins, and low hit failure signatures.
See more details on the Cadence Learning and Support Portal:
- Using SimAI for Bug Hunting with vManager (RAK)
- Using SimAI for Bug Hunting – Generic runner flow (RAK)
Unlock compute savings, reduce your functional coverage holes, and discover and fix bugs faster with the power of machine learning technology now enabled by Verisium SimAI!
Please keep visiting https://support.cadence.com/raks to download new RAKs as they become available.
Please note that you will need the Cadence customer credentials to log on to the Cadence Online Support https://support.cadence.com/, your 24/7 partner for getting help in resolving issues related to Cadence software or learning Cadence tools and technologies.
Happy Learning!