数字IC验证23825--SV实验4

概念

• 第一，验证环境按照隔离的观念，应该分为硬件 DUT，软件验证环境，和处于信号媒介的接口 interface。
• 第二，对于软件验证环境，它需要经历建立阶段(build) ，连接阶段(connect)，产生激励阶段(generate) 和发送激励阶段(transfer)

实验四开始

• 编译所有文件，给出仿真命令：
• Vsim -novopt -classdebug -solvefaildebug -sv_seed 0 +TESTNAME=mcdf_data_consistence_basic_test - |mcdf_data_consistence_basic_tast.log work.tb

命令解释

• -classdebug，这是为了提供更多的 SV 类调试功能
• -solvefaildebug，这是为了在 SV 随机化失败之后有更多的信息提供出来
• -sv_seed 0，暂时给固定的随机种子 0
• +TESTNAME=mcdf_data_consistence_basic_test，这是指定仿真选择的调试
• -| mcdf_data_consistence_basic_test_sim.log，这是让仿真的记录保存在特定的测
  试文件名称中
  这样在仿真结束后会产生两个文件保存仿真信息：mcdf_data_consistence_ basic_test_sim.log 会保存所有的仿真信息；mcdf_data_consistence_ basic_test_check.log 则只会保存 mcdf_checker 做数据比较和最终比较报告的信息。

实验四的目的

• 怎么样才是一个完整的验证计划和实施？什么是验证计划的核心要素点？那就是围绕着设计的功能点罗列出需要展开测试的功能点，以及如何展开测试，并且指明测试的验收标准是什么。
• 实验 4中主要以测试是否通过为原则