基于UVM的寄存器验证自动化方法

提出一种运用RAL,基于UVM方法学的寄存器验证自动化方法。RAL模型继承了寄存器模型的优点,去除了一些缺点可以更加灵活和快速地完成寄存器验证。分析RAL模型的实现过程,包括RAL模型的原理、生成方法、在平台中的应用和工作过程。仿真结果证明通过RAL模型进行寄存器验证的正确性。RAL模型可实现寄存器验证的自动化和可复用,提高了寄存器验证的可靠性。RAL模型的使用可大大提高寄存器验证的效率。

机载电子跨时钟域同步电路验证及可靠性分析

在航空器的机载设备中存在大量的多时钟域电路,数据在进行跨时钟域传输时可能会产生亚稳态,导致数据传输错误,电路可靠性降低。但亚稳态导致的故障具有偶发性、不易重现,且现有的跨时钟域专用验证软件使用成本高昂,不支持三模冗余场景下的跨时钟域电路验证。针对此问题,提出了一种基于传统工具的寄存器传输级(RTL)验证、板级加速测试和计算评估相结合的方法。该方法能够在设计早期使用通用仿真工具发现三模应用场景或正常场景下的跨时钟域传输问题,并评估潜在跨时钟域传输风险,降低了高安全等级机载复杂电子验证经济成本和时间成本,提高电路可靠性。

基于查表法的CRC算法实现与优化

基于数据传输系统带宽越来越大,数据传输过程中发生错误的概率也越来越高,设计用于检错和纠错的校验码产生模块是非常必要的。完成一种可配置的并行CRC运算模块的设计,数据长度和CRC运算版本皆可进行配置,在一个时钟周期内即可并行计算得到CRC校验结果。首先通过线性反馈移位寄存器实现了串行CRC计算模块,然后结合查表法多次例化串行CRC计算模块、并将上次运算结果作为本次运算的初值实现了可并行运算的CRC校验码计算模块。

基于RVM的可重用性SoC测试平台设计

简要介绍了一种基于事务的用于SoC系统芯片验证的RVM验证方法学,以及应用该方法学搭建的具有分层结构的测试平台,该测试平台具有良好的可重用性。为了对该方法进行示范,验证了TD-SCDMA手机芯片中的I2C模块的RTL级实现,并给出了相应的测试平台模型及其在系统级上的重用。