![]() |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Synopsys, Inc. The Discovery Verification Platform is a unified environment providing high performance and productivity for complex SoC design verification. Discovery offers mixed-HDL, mixed-signal and system-level simulation supporting SystemVerilog, VHDL and SystemC. Advanced verification technologies are provided for assertions, code coverage, functional coverage, testbenches and formal analysis to rapidly identify all of your design bugs. Synopsys' offers a complete line of functional verification solutions that include VCS® complete RTL verification solution, System Studio system-level verification, Leda® programmable RTL checker, Vera® testbench automation, Magellan hybrid RTL formal verification, DesignWare® verification IP, Formality® equivalence checker, NanoSim® and HSPICE® mixed-signal simulation. |
|
Company
|
Description
|
Booth #
|
| @HDL, Inc. |
305
|
|
| Aldec, Inc. |
804
|
|
| Averant, Inc. |
205
|
|
| Cadence Design Systems, Inc. |
801
|
|
Consultants' Corner
|
400
|
|
| Demos On Demand |
406
|
|
| Denali Software, Inc. |
301
|
|
| DINI Group (The) |
304
|
|
| Doulos Ltd. |
405
|
|
| EDA Direct |
703
|
|
| Forte Design Systems |
408
|
|
| Jasper Design Automation Inc. |
201
|
|
| Mentor Graphics Corp. |
204
|
|
| Novas Software, Inc. |
202
|
|
| nSys Design Systems Pvt. Ltd. |
806
|
|
|---|---|---|
| ProDesign |
805
|
|
| Real Intent, Inc. |
302
|
|
| Stelar Tools, Inc. |
702
|
|
| Synopsys, Inc. |
306
|
|
| Tharas Systems, Inc. |
403
|
|
| TransEDA, Inc. |
303
|
|
| Verisity Design, Inc. |
404
|
|
| Veritools, Inc. |
401
|
|
![]() |
||