co-verification environment 协同验证环境
formal co-verification environment 协同形式验证环境
Based on MPSP-Ⅱ, a design method of software and hardware co-simulation and verification environment is presented.
基于MPSP-Ⅱ平台,提出了一种软硬件协同仿真验证环境快速构建方法。
参考来源 - 可配置RISC核的设计及验证应用研究·2,447,543篇论文数据，部分数据来源于NoteExpress
Furthermore, we design an UML-based software testing and verification environment based on the researches of UML testing and verification, and implement the prototype.
此外，根据我们对UML测试和验证的研究成果，设计了一个基于UML的软件测试和验证环境的体系结构，并实现了原型系统。
The co verification environment consists of an embedded software debugger and an embedded hardware simulator. It adopts instruction set architecture co simulation model.
该协同验证环境由嵌入式软件调试器和嵌入式硬件模拟器组成，其采用了指令集结构的协同模拟模型。
When we build the verification platform, we study the state-of-art commercial verification platform, raise the unified verification environment, and put it into practice.
在搭建验证系统时，仔细分析现有商业验证平台，结合它们的设计优点，我们提出了自己的统一验证环境的指导思想。
应用推荐