It's Verific!
(our blog on EDACafe)

Verific's Parser Platform
  • SystemVerilog IEEE 1800-2005 / 2009 / 2012 parser, analyzer, and elaborators

  • VHDL IEEE 1076-1993 / 2002 / 2008 parser, analyzer, and elaborators

  • Verilog IEEE 1364-1995 / 2001 / 2005 pre-processor, parser, analyzer, and elaborators

  • Full mixed SystemVerilog / VHDL language support

  • UPF IEEE 1801-2009 / 2013 parser and analyzer

  • Verilog-AMS 2.3 parser and analyzer

  • PSL IEEE 1850 parser and analyzer for VHDL and Verilog

  • EDIF 2.0, SDF, Liberty parsers and analyzers

  • Hierarchical, technology independent database

  • Verilog netlist only parser



  • SystemVerilog


  • Verilog 2001


  • Verilog-AMS
HDL Language Synthesis

Verific Design Automation builds SystemVerilog and VHDL Parser Platforms which enable its customers to develop advanced EDA products quickly and at low cost. Verific's Parser Platforms are distributed as C++ source code and compile on all 32 and 64 bit Unix, Linux, and Windows operating systems. Verific's Parser Platforms are in production and development use today at numerous companies worldwide, from EDA start-ups to established Fortune 500 semiconductor vendors. Applications vary from formal verification to synthesis, simulation, emulation, virtual prototyping, in circuit debug, and design-for-test.

Some of the products you find us in are:

COMPANY PRODUCT
Achronix ACE
Aldec HES
Altera Quartus II
Altium Nexar
Apache Power Theater
Power Artist
Atrenta Bugscope
Ausdia TimeVision
Blue Pearl RTL Analysis
Bull Bull Equivalence Checker
Cadence CellMath Designer
JasperGold
Calypto SLEC, PowerPro
CLKDA Amber
Concept Engineering RTLVision PRO
DeFacTo STAR, SIGNOFF
Dolphin Smash
Excellicon ConMan
Flexras WASGA
HDL Works HDL Companion
Infineon Inway
iRoC SoCFIT
Lattice ispLEVER
Menta Origami Designer
Mentor Clarus
RealTime Designer
Microsemi Libero
NEC CyberWorkBench
NXP Semiconductor RTL DfT
Real Intent Ascent, Meridian
Rocketick RocketSim
S2C TAI IP
Synopsys Certitude
FineSim
Zebu
Tabula Stylus
Tiempo ACC
vSync Circuits vChecker
Xilinx ISE Design Suite
Yogitech fRTools

Customers

Join Our Mailing List
Email:
For Email Marketing you can trust

| home | products | downloads | forum | about verific | testimonials | contact us | VIPER | SW Documentation |

©2000-13 Verific Design Automation. All rights reserved.
Verific is a registered trademark of Verific Design Automation, Inc.