事务级验证的设计方法

事务级验证是基于仿真的验证方法的发展趋势,与传统验证方法比较,事务级验证具有更高的抽象层次,对于功能验证具有更强的针对性和验证效率,本文对事务级验证方法进行了简要介绍,说明了事务级验证的实现方法。

基于SCV的事务级验证建模

结合SystemC验证库(SCV)的特点,提出了一种新的事务级验证模型,对其中部分主要模块进行了描述。该模型具有事务级交易记录、结果自检测以及随机测试等特性,通过该模型能够构建事务级验证平台。通过RAM实例,描述了验证平台的构建过程。

事务级形式验证技术及8051验证模型

提出一种基于事务的用于电路系统的形式验证方法 (TBFV) 应用该方法 ,验证工程师可以在行为级对系统进行验证 ,无需了解设计的细节 为了对该方法进行示范 ,验证了 80 5 1的RTL级实现 ,并给出了 80 5

SCV及其在SoC验证中的应用

片上系统(System on Chip,SoC)是集成电路设计发展的趋势,验证在整个SoC设计中工作量巨大且至关重要.应用验证领域的最新成果SCV(SystemCVerification),提出了通过设计用户定义的事务接口(Transactor),对RTL(RegisterTransferLevel)级设计进行事务级验证的策略,并对一个具体的FIFO事例进行了验证.

多路系统Cache一致性验证中的错误追踪定位技术

以某国产多路系统的验证为例,基于事务级验证TBV技术,提出并实现了一种可以应用于模拟验证的自动错误追踪定位技术,通过在验证环境中对处理器的特定功能流程、相关各种请求响应、访存地址和数据流等信息进行事务级建模,记录并生成了验证环境运行产生的事务级信息库,基于上述信息实现了错误的自动追踪定位,显著缩短了错误定位时间,提升了多路系统模拟验证的查错效率。同时,基于事务级的模型,也使得验证人员可以在比设计部件更高的层次描述复杂流程的Cache一致性覆盖点,这种事务级维度的覆盖率描述弥补了原有代码覆盖率和功能覆盖率局限于模块和部件级的不足,是对全面性和充分性验证的有益补充。

基于Open Vera构建以太网MAC芯片验证平台

随着芯片规模的增大,快速搭建一个强大、高效、灵活的验证平台是芯片设计成功的关键因素之一。本文介绍了一种基于OpenVera构建验证平台的方法,并结合MAC芯片的验证介绍了该平台的特点。