Insight - Formal Analysis tool by Avery Design Systems

Software Validation and Verification

Product Description

- First behavioral-level formal analysis tool for verilog and
SystemVerilog
- Describe interface protocols and design properties using
behavioral-level testbench with minimal random
constraints,reference models, and properties vs complex RT -
level methods.
- Eliminate major development effort to write constraints
guiding coverage test generation for corner cases.
Support reference model based methodologies which greately
improve scalability of formal analysis.
- Tightly integrated simulation and formal engines provide
simulation-centric feel and better control over case analysis
and refinement.
- More efficient for both designers and verification engineers

Insight - Formal Analysis tool

Market Segment(s)

• Home
• Mobile Computing

Target Platform(s)

• Linux
• Other OS
• VxWorks
• Windows Embedded CE
• Windows Mobile

ARM Processor(s)

• ARM7TDMI
• ARM7TDMI-S
• ARM720T
• ARM920T
• ARM922T
• ARM926EJ-S
• ARM940T
• Cortex-A53
• Cortex-A57
• ARMv8

System IP

• Interconnect Fabric

 Contact Us