形式验证

2013-12-09 136 形式验证

2015-07-20 106 形式验证

随着半导体制造技术不断的进步，SOC(System On a Chip)是未来IC产业技术研究关注的重点。由于SOC设计的日趋复杂化，芯片的面积增大，芯片功能复杂程度增大，其设计验证工作也愈加繁琐。复杂ASIC设计功能验证已经成为整个设计中...

2013-05-25 45 形式验证

2016-10-05 28 形式验证

2013-12-26 123 形式验证

嵌人式飞行参数传感系统的设计与可行性验证摘要: 简要介绍了嵌入式飞行参数传感系统( F A D S ) 的空气动力学模型，并以美国的X - 3 3飞行器为例，详细描述了该系

2023-11-11 5 形式验证

本产品是能够对嵌入式硬件系统进行完整模拟的软件系统。用户可以在该系统上模拟运行嵌入式软件，无需相应的硬件即可对嵌入式软件进行测试与调试。系统支持用户根据待测系统的硬件组成，在现有组件库中选择相应的硬件型号，配置参数，搭建所需的硬件虚拟环境。...

2022-12-13 8 形式验证

随着半导体制造技术不断的进步，SOC(System On a Chip)是未来IC产业技术研究关注的重点。由于SOC设计的日趋复杂化，芯片的面积增大，芯片功能复杂程度增大，其设计验证工作也愈加繁琐。复杂ASIC设计功能验证已经成为整个设计中...

2023-09-28 8 形式验证

形式验证 热门资料