Mentor Graphics FormalPro v2007.1_0-1 Linux

  • Rank:
  • Size:83MB
  • Language:English
  • Platform:/Linux
  • Freshtime:2009-10-09
  • Tag:


Mentor Graphics FormalPro v2007.1_0-1 Linux is the Mentor Graphics solution for gate-level regression testing of ASICs and ICs of 100,000 gates or more. FormalPro uses static formal verification techniques to prove that a design is functionally identical to its golden reference.


  • Dramatically Reduces ASIC/FPGA Verification Time
  • Compares two designs
    - RTL to gate for synthesis and ECOs
    - Gate to gate for layout spins
    - RTL to RTL for language conversion
  • Highest capacity tool
    - Verifies multi-million gate
    - ASIC's as one
  • Fastest route to correct design
    - Exact location of errors
    - Tests fixes within the verification session
  • Advanced FPGA Support
    - Xilinx, Altera, Actel
    - FVI and VIF automated setup files
    - Huge productivity boost


  • Previous:Mentor Graphics Olympus-SoC Digital IC Design 2009.04
  • Next:Mentor Graphics Calibre 2009.3_15 Linux
  • Relate Soft

      No information
    Letters A B C D E F G H I J K L M N O P Q R S T U V W X Y Z TOP