This design service enables large-scale design to be verified by installing the design of a customer developing a custom SoC on an emulator and accelerating the HDL simulation time by 500 to 1000 times. Since we provide the necessary equipment and operators, the customer only needs to prepare design data and input data to construct an environment.
Example applications of Cedar™-EMU
-System verification of ARM-based image SoCs (ICE debugger can be connected)
- Simultaneous verification of hardware and software linked with ESL
- Functional and performance verification and power consumption analysis of image processing SoCs
- Simultaneous verification of hardware and software linked with ESL
- Functional and performance verification and power consumption analysis of image processing SoCs
We also develop technologies independently and have an option for various pre-silicon analysis.
- Software co-verification : Verification of a system including its software is possible in coordination with a Cedar™-ESL environment
- High accuracy performance display : Cycle accurate detailed performance analysis is possible
- High accuracy power consumption calculation : Power consumption is calculated with cell-level accuracy analysis is possible for each block
- High accuracy performance display : Cycle accurate detailed performance analysis is possible
- High accuracy power consumption calculation : Power consumption is calculated with cell-level accuracy analysis is possible for each block
| Service Category | Service Description | Item Submitted by Customer | Deliverable from Socionext (Example) |
|---|---|---|---|
| Chip level verification | Formulation of verification specifications Creation of verification data Construction of verification environment verification |
Outline block diagram Design data (RTL or netlist) Input/expected value data |
Verification specifications Verification data Emulation verification results |
| System level verification | System level verification using software developed in an ESL environment | Design data (RTL or netlist) Input/expected value data Test programs |
Emulation verification environment Verification result reports |
| Power consumption reduction | Measurement of power consumption | Power measurement program | Reports on results of power consumption measurement |
