 |
|
 |
 |
|
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 |
| Actel |
Libero |
| Altera |
Quartus II |
| Altium |
Nexar |
| Arithmatica |
CellMath Designer |
| Axiom |
@Verifier |
| Calypto |
SLEC |
| Certess |
Certitude |
| CLKDA |
Amber |
| Concept Engineering |
RTLVision PRO |
| Concise |
Concise Optimizer |
| DAFCA |
ClearBlue |
| DeFacTo |
HiDFT-Scan |
| EVE |
ZeBu |
| Fenix |
Crossfire |
| GateRocket |
RocketDrive |
| HDL Works |
HDL Companion |
| iRoC |
SoCFIT |
| Jasper |
JasperGold |
| Lattice |
ispLEVER |
| Liga Systems |
NitroSIM |
| Magma |
FineSim Quartz Formal |
| NEC |
CyberWorkBench |
| NXP Semiconductor |
RTL DfT |
| ProDesign |
CHIPit |
| Real Intent |
Verix |
| S2C |
TAI IP |
| Sequence |
Power Theater |
| Silicon Navigator |
Rocket |
| Synopsys |
MVSIM |
| Tenison |
VTOC |
| Xilinx |
ISIM |
|
|
 |
|