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.
协同验证的化简规则是在语义约束一致性的原则下,逐步规约模型中无语义冲突的部分。
应用推荐