INFERNO
An automatic semantic information extractor
About
Inferno automatically infers the functionality of a hardware design using Verilog source code and simulation traces. It breaks up observed behavior into transactions and presents them as compact graphs to the user.
Download
Inferno Source Code: Download
Licensed under LGPL
Project Members
Publications
- "INFERNO: Streamlining Verification with Inferred Semantics" pdf
Andrew DeOrio, Adam Bauserman, Valeria Bertacco and Beth Isaksen
IEEE Transactions on Computer-Aided Design (TCAD), Volume 28, Issue 5, May 2009 - "Verification Through the Principle of Least Astonishment" pdf
Beth Isaksen and Valeria Bertacco
International Conference on Computer-Aided Design (ICCAD), San Jose, CA, November 2006