X-Amin is a new breed of design/analysis tools that helps the designer to identify design flaws while the RTL code is being developed. X-Amin provides a wealth of features to evaluate the structure and functionality of a design during development. These same features can also be used to explore and examine the functionality of existing designs.

X-Amin performs various logic analyses without the need to develop testbenches or extraneous code. With X-Amin, a designer can quickly evaluate the functionality of a piece of a design as the code is written. X-Amin also supports scripting so that regression tests can be easily and quickly applied. Finally, X-Amin can automatically regenerate all design diagrams as the HDL code is modified.

 

X-Amin's Features

The major features of X-Amin include:

• Truth table generation of combination logic
• Logic equivalency analysis
• Temporal (i.e. state) proofs
• State analysis (reachability/deadlock)
• Logic level estimates
• Gate count estimates
• Lint checks
• Synthesis checks
• Logic and structure diagrams
• Integrated editor with syntax highlighting
• Supports use of an external editor
• Supports Verilog (and VHDL, soon!)

X-Amin provides both a GUI mode for interactive design analysis and command-line mode for "power users" and automated regression testing.