Virtuosity: Did My Checks Pass or Did They Not Run?

Today's blog highlights Checks/Assert results display and Summary table. This blog is a part of the mini blog series that we are posting twice a week—Tuesday and Thursday—to cover the just-released features in Virtuoso®ADE Assembler, Virtuoso®ADE Explorer, and Virtuoso® Visualization and Analysis. Stay tuned for more such interesting blogs.

If you've ever tried to run the Checks/Asserts flow in Virtuoso® ADE Assembler and Virtuoso® ADE Explorer, you might have found it difficult to distinguish between “all checks passed” and “no checks were run”. In both the cases, the message “No violations” was displayed. Now, in IC6.1.8 ISR3 and ICADVM18.1 ISR3, you can differentiate when checks were not run or if they were ignored with syntax errors.

Now you will see one of the following values in the detail results view:

• Number of Violations: The checks were run, but the displayed number of violations occurred for the given output.
• Pass: The checks ran successfully and no violations of the given type were found.
• Undefined: Given type of violation is not defined or is disabled.
• Canceled: Simulation was canceled before completion.
• Disabled: No violation database was generated as checks were disabled or had syntax error.

You can also view itemized violations for each violating net or instance for a given test/design point/corner in the Checks/Asserts result view. We have now provided a new Summary check box in the Checks/Asserts view. 

In the summary view, you will see all violations for a given Checker Name accumulated for each Point and Corner.

You can use drop-down lists to display the violations in the Checks/Asserts table as per your requirement. You can hide columns or change the order in which columns are displayed. You can even apply field or column filters to view selected violation data. And, yes, all filtering options are available in the context-sensitive menu and the numerical comparison operator.

Related Resources

• RAK
  
  • Checks & Assertions flow in ADE
• Blog
  
  • Violation Filters with Checks and Asserts
  • Spectre Assert and Design Check Overview
• Video
  • Checks/Asserts Summary Table and Status Display
• User Guide
  
  • Performing Circuit and Device Checks

About Virtuosity

Virtuosity has been our most viewed and admired blog series for a long time that has brought to fore some lesser known, yet very useful software and documentation improvements, and also shed light on some exciting new offerings in Virtuoso. We are now expanding the scope of this series by broadcasting the voice of different bloggers and experts, who would continue to preserve the legacy of Virtuosity, and try to give new dimensions to it by covering topics across the length and breadth of Virtuoso, and a lot more… Click Subscribe to visit the Subscription box at the top of the page in which you can submit your email address to receive notifications about our latest Virtuosity posts. Happy Reading!

Aditya