把定制化SoC开发的客户设计加载到模拟器上，通过使HDL模拟时间加速到500～1000倍，从而提供可实现大规模设计
验证的服务。 所需器材和操作人员由本公司提供，因此客户只需准备设计数据和输入数据即可搭建环境。
验证的服务。 所需器材和操作人员由本公司提供，因此客户只需准备设计数据和输入数据即可搭建环境。
Cedar™-EMU的应用事例
-搭载ARM的图像SoC的系统验证（可连接ICE调试程序）
- ESL相连的硬件和软件的同时验证
- 图像处理SoC的功能验证和性能验证、耗电分析
- ESL相连的硬件和软件的同时验证
- 图像处理SoC的功能验证和性能验证、耗电分析
同时我公司也可以进行独立的技术开发，还可以提供投产前各种解析服务。
- 和软件的协调验证：可以和Cedar™-ESL环境互联进行包含软件的系统验证
- 高精度性能显示：可进行周期精度的详细性能解析。
- 高精度的耗电计算：单元库级别的高精度耗电量计算。也可按各个模块进行解析
- 高精度性能显示：可进行周期精度的详细性能解析。
- 高精度的耗电计算：单元库级别的高精度耗电量计算。也可按各个模块进行解析
| 服务分类 | 服务内容 | 客户提交物 | 本公司提供物（例） |
|---|---|---|---|
| 芯片级别验证 | 验证脚本的确定 验证数据的生成 验证环境的搭建 验证的运作 |
概略框图 设计数据 （RTL or 网表） 输入/期待值数据 |
验证式样书 验证数据 仿真验证结果 |
| 系统级验证 | 利用在ESL环境下开发的软件的系统级验证 | 设计数据 （RTL or 网表） 输入/期待值数据 测试程序 |
仿真验证环境 验证结果报告 |
| 低功耗化 | 功耗测试 | 电力测试程序 | 功耗测试结果报告 |
