|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Real Intent, Inc. Real Intent is the leading provider of advanced formal assertion-based verification products that enable designers to find tough functional bugs even before simulation. With powerful proof technology, driven by PSL and System Verilog standards, the company's Verix family of products are delivering a highly effective and easily deployable formal verification solution today. Deployed at over 30 major IC design companies worldwide, the company is focused on enabling formal verification for multi-million gate ASIC designs. |
|
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
|
|
 |
||