![]() |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@HDL, Inc. @HDL is focused on accelerating functional verification of System-On-Chip and silicon IP designs. The @Verifier and @Designer family of products deliver significant verification productivity improvement, through system-level design analysis and debugging, automatic formal model checking, and tight integration with RTL simulation environment. @HDL offers innovative tools for support and authorship of PSL and SystemVerilog assertion languages, providing a complete solution for expressing, visualizing, verifying and leveraging assertions. |
|
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
|
|
![]() |
||