|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Jasper Design Automation, Inc. Founded in 1999, Jasper Design Automation offers the first Provably Correct Design methodology. Using state-of-the-art formal verification technology, JasperGold™ exhaustively verifies the functional behavior of RTL blocks without simulation or test vectors. Useful at any point within the design flow, from early design to post silicon, JasperGold analyzes a block against high-level requirements derived from the micro-architecture spec. Intelligently powered to illuminate and isolate the root cause of functional bugs, JasperGold drives higher design quality and shorter schedules. For details: http://www.jasper-da.com. |
|
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
|
|
 |
||