Assertain-ABV

Key Features

Static verification phase – Key Features

  • One single data entry point, regardless of the mix of languages used – VHDL, Verilog and SystemVerilog
  • A complete set of pre-packaged rule-sets including RMM, synthesis, DFT, language portability, and best practices
  • Advanced formal-based rule checks that complement standard linting rules:
    • FSM safety and liveness (state and transition reachability, deadlock and livelock check)
    • Synthesis pragma violations (full case, parallel case)
    • Bus contention and high impedance detection
    • Array index out-of-bounds
  • Assertion specific rules for early assertion density estimation

Dynamic verification phase – Key Features

  • A unified coverage results database for consistency across the entire project
  • The widest range of code coverage metrics – statement, branch, condition, path, toggle, trigger, signal trace, FSM state, arc and path
  • Unique step and variable metrics to measure detail coverage of assertions and functional points
  • Highest capacity test suite optimization based on code coverage results, linking RTL code to test benches to speed-up ECO iterations

Verification closure phase – Key Features

  • Global coverage and rule checking dashboard view, with data filtering and customizable thresholds and sign-off criteria
  • Unique coverability analysis facilities of design branches and expressions using TransEDA’s Focused Expression Coverage (FEC) technology and stat-of-the-art formal engine
  • Automatic user-qualified filtering of unreachable coverage items for faster convergence to coverage sign-off
  • Linking of specification requirements, RTL, assertions and tests using unparalleled traceability technology

Miscellaneous Features

  • Graphical and command line interface for interactive or batch mode operation
  • Easy integration into any existing design flow
  • Full backwards compatibility with existing TransEDA tools and results files allowing a smooth and seamless up-grade path

Assertain Packaging

Assertain is shipped in three different versions:

  • HDL – Entry-level configuration for extensive HDL static verification and code coverage measurement
  • ABV – HDL version plus full support for assertion-based verification facilities and design coverability analysis
  • VCM – ABV version plus requirements traceability, full coverability analysis and formal assertion checking for total Verification Closure Management
  • Availability

    Assertain is available now. The tool is supported on the following platforms and operating systems:

    • SUN Solaris 7, 8 and 9
    • Red Hat Enterprise 3.0
    • Red Hat Linux 8
    • Microsoft Windows 2000 and XP

Comments are closed.