hardware-software co-verification 软硬件协同验证
co verification 协同验证
SoC co verification SoC软硬件协同验证
co-verification environment 协同验证环境
mixed level co-verification 混合级协同验证
formal co-verification environment 协同形式验证环境
hardware&software co-verification system 软硬件联合验证
Co-synthesis and verification 协同综合与验证
co-designing and verification 协同设计与验证
The experiments also reveal that system architecture evaluation and hardware/software co-verification can be performed on the platform.
软硬件协同实验证明在该平台上可以进行软硬件协同验证。
参考来源 - 基于SystemC的事务级建模研究At last the implementation of Co-verification and the application of RTOS in the platform is brought forward.
论文最后对软硬件协同验证方法在本系统的实现以及嵌入式实时操作系统在本系统中的应用进行了研究。
参考来源 - 基于M·2,447,543篇论文数据，部分数据来源于NoteExpress
Finally, an co-verification example of a design based on ARM7TDMI is given.
最后给出了一个基于ARM7TDMI的设计验证实例。
A new video decoding scheme based on embedded reconfigurable SoC is proposed. The software and hardware co-verification method is adopted in this scheme.
提出一种新的基于嵌入式可重构系统芯片的视频解码方案，采用了软硬件协同验证的方法。
The reduction rules in co-verification see the consistency in semantic constraints as principle, reducing the model when there are no semantic conflicts gradually.
协同验证的化简规则是在语义约束一致性的原则下，逐步规约模型中无语义冲突的部分。
应用推荐