 |
 |
- SystemVerilog IEEE 1800 parser, analyzer, and elaborator

- VHDL IEEE 1076-1993
parser, analyzer, and elaborator

- Verilog IEEE 1364-1995/2001
pre-processor, parser, analyzer, and elaborator

- Verilog-AMS parser and analyzer

- PSL/SUGAR parser and analyzer for VHDL and Verilog

- EDIF 2.0 Reader

- SDF Reader

- Liberty Reader

- Hierarchical, technology independent database

- SystemVerilog

- Verilog 2001

- Verilog-AMS
|
|
 |
 |
|
Verific Design Automation Inc. develops and sells source code (C++) Verilog, SystemVerilog, and VHDL front-ends (parsers, analyzers, elaborators) as well as a generic hierarchical netlist database for EDA applications.
Many EDA and semiconductor companies worldwide are shipping products incorporating Verific's Verilog and VHDL technology, with a combined customer base of over 40,000 users. Applications include RTL simulation, FPGA synthesis, Model Checking, Functional Verification, Hardware Acceleration, RTL Debug, Logic Equivalence Checking, RTL Floorplanning, HDL Entry, and Design for Test. Some of the products you find us in are:
| COMPANY |
PRODUCT |
| Achronix |
ACE |
| Actel |
Libero |
| Altera |
Quartus II |
| Altium |
Nexar |
| Apache |
Power Theater
Power Artist |
Axiom |
@Verifier |
| Calypto |
SLEC |
| CLKDA |
Amber |
| Concept Engineering |
RTLVision PRO |
| DAFCA |
ClearBlue |
| DeFacTo |
HiDFT-Scan |
| Elastix |
Elastic Clocks |
| EVE |
ZeBu |
| Forte |
CellMath Designer |
| GateRocket |
RocketDrive |
| HDL Works |
HDL Companion |
| iRoC |
SoCFIT |
| Jasper |
JasperGold |
| Lattice |
ispLEVER |
| Magma |
FineSim Quartz Formal |
| NEC |
CyberWorkBench |
| NXP Semiconductor |
RTL DfT |
| Oasys |
RealTime Designer |
| Real Intent |
Envision |
| S2C |
TAI IP |
| Springsoft |
Certitude |
| Synopsys |
CHIPit MVSIM |
| Tiempo |
ACC |
| Xilinx |
ISE Design Suite |
|
|
 |
|