| Table 1. Hardware/Software Partitioning and Co-Simulation |
| EDA Vendor |
Tool Name |
Description |
| Celoxica |
Nexus PDK |
System-level co-verification |
| Impulse Accelerated Technologies |
Impulse C CoDeveloper |
C language development system |
| Mentor Graphics® |
Platform Express |
Capture and verification tool |
| Seamless |
Hardware/software co-verification |
| Nucleus |
Real-time operating system |
| System Architect |
Performance modeling
Architecture
Hardware/software software exploration and partitioning |
| Synopsys |
CoCentric System Studio |
SystemC design
Verification tool suite |
| CoCentric Fixed-Point |
Algorithmic design tool |
| DesignWare SystemC Libraries |
System-On-A-Chip (SOC) design library |
| ModelSource 3000 |
Device modeling |
| Saber |
Mixed signal behavioral simulator |