Co-simulation methods
POLIS: from UC Berkeley
- Cadence's Cierto VCC is based on ideas from POLIS.
Synopsy’s COSSAP and Eaglei tools: promise a way to check the implementation against the original algorithmic specification for function equivalence.
But the standard method of co-simulation is to run software directly on simulated hardware. It is implied that the CPU is part of the ASIC. Thus CPU is simulated at the same level as other hardware
- Good if your purpose is to design the CPU. However, if you use a core from the vendor, you are wasting valuable simulation resources.