【摘 要】
：
针对由设计复杂程度不断增加造成的功能验证困难的问题,提出了OVL在ARINC429通讯板卡设计验证中的使用方法。介绍了断言开放式验证库OVL及OVL断言监视器的结构、功能、分类及
论文部分内容阅读
针对由设计复杂程度不断增加造成的功能验证困难的问题,提出了OVL在ARINC429通讯板卡设计验证中的使用方法。介绍了断言开放式验证库OVL及OVL断言监视器的结构、功能、分类及参数,在此基础上设计了符合航空运输工业标准的ARINC429通讯板卡,并提出了一种新的对ARINC429通讯板卡设计时序的验证方法。实验结果表明了OVL断言验证方法在设计验证中的可行性,降低了设计验证的复杂度,增加了验证覆盖率,提高了验证效率。
其他文献
<正>(2013)民提字第94号再审申请人(一审原告、二审上诉人):深圳市福田区南天一花园业主委员会,住所地广东省深圳市福田区百花三路南天大厦二幢1单元首层。负责人:范国振,该
提出了一种数模混合的真随机数发生器设计方案，利用RC电路充放电时间的不稳定性作为随机噪声源，并采用8个噪声源模块并行工作。8个噪声源模块产生的16比特随机数经由模加、异或
为了解决传统相似度计算结果准确度较低的问题，提出了一种基于语义框架填充过程的语义相似度计算方法。在知识表示层面利用语义框架为两个文档之间的相似度评价建立相似语境，该
针对高分辨率航空图像存储和传输的要求,提出了基于POWERPC、FPGA和ADV212的嵌入式图像压缩存储系统设计方法,实现了大小为4008x5366x12bit图像的有损和无损压缩存储。系统设计目标为每2秒存储一幅无损压缩图像,压缩比为2:1;并在限定传输速率为1.44Mbps的条件下,每8秒向地面传送一幅有损压缩图像。系统设计中使用ADV212完成JPEG2000标准压缩算法,FPGA实现图像
针对数／模混合电路的故障诊断，将遗传算法与最小二乘支持向量机相结合，提出一种二值分类故障诊断方法，在保证故障诊断的准确率和可靠性的基础上，实现多类故障的快速诊断。采用遗传