| Name | EDA Tool Category | EDA Tool Vendor |
|---|---|---|
| Altium Designer |
Backend Debugging Design Entry design environment PCB /Board Place And Route Synthesis |
Altium |
| HDL Analyst | Design Entry | Synplicity, Inc. |
| ModelSim | Verification | Mentor Graphics |
| Designer | design environment | Actel |
| CoreConsole | Design Entry | Actel |
| SoftConsole | Embedded Processor | Actel |
| Libero | design environment | Actel |
| eTools | Other | eASIC |
| QuickTools for Linux | design environment | QuickLogic Corporation |
| RocketVision | Debugging | GateRocket, Inc |
| RocketDrive FPGA Verification System | Verification | GateRocket, Inc |
| JTAGTest |
Debugging Design Entry PCB /Board Signal Integrity Verification |
SECONS Ltd. |
| eGenMem | Design Entry | eASIC |
| 0-In CheckerWare | Verification | Mentor Graphics |
| IO Checker |
design environment PCB /Board Verification |
HDL Works |
| HDL Companion | Design Entry | HDL Works |
| HES |
Debugging Verification |
Aldec |
| Riviera-PRO |
Debugging Verification |
Aldec |
| Active-HDL |
Debugging Design Entry design environment PCB /Board Verification |
Aldec |
| Aldec DO-254 Tool Set | Verification | Aldec |