Graham is VP of Marketing at Real Intent. He has over 20 years experience in the design automation industry. He has founded startups, brought Nassda to an IPO and previously was Sales and Marketing Director at Internet Business Systems, a web portal company. Graham has a Bachelor of Computer … More »
Autoformal: The Automatic Vacuum for Your RTL Code
September 11th, 2014 by Graham Bell
The Roomba automatic vacuum cleaner may be the most popular home robot in the world. It wakes up, wanders around your house collecting ‘dust bunnies’ and other dirt and then parks itself, where it can recharge and be ready for the next cleaning cycle.Real Intent also offers an automatic tool that cleans up your RTL code. Ascent IIV is an autoformal tool that automatically analyses the implied intent of your RTL code. It verifies different kinds of sequences and reports back on those that are suspicious. Because the analysis is smart and hierarchical, it reports primary errors that, when corrected, can remove a cascade of secondary errors.
Here is a quick list of checks that Ascent IIV automatically performs:
In July, Real Intent announced a new release of Ascent IIV. Here is a video interview with Lisa Piper , senior technical marketing manager, discussing how IIV makes debug even easier with new features such as causation trees and focused custom reports.