sv知识总结

int的计算结果只能是int，如果想得到小数，就得用real计算

$itor()可以将int转换成real，然后进行计算，就可以得到小数的结果。

然后再用$ceil或者$floor进行向上或者向下取整

x态传播怎么做？在vcs命令行里加上 -carg -xprop

在流片前的一段时间内，尽量通过定向用例构造一些难以随机到的极限场景

如果想测极限场景，发包前需要dut的某个计数器先达到某个临界值，直接点进去赋值就行，不需要force，例如testbench.dut.xxxxxxx=59，这样操作计数器可以继续累加，不会恢复原值

在后期可以将所有种类的接口错误进行一起注入

报文种类发送纯单拍数据可以找到一些错误

重载task的时候，内部不能写super.mainphase()会继承父类的东西

uvm_sent是不阻塞的语句，且不会随机，只负责发送，通常搭配uvm_create；uvm_do是随机和发送；start_item(等待sequencer分配权限)和finish_item(等待driver完成发送)是可以阻塞的语句，可以等到driver发送完成，再执行后续语句

重载有两个语句set_inst(三个参数，重载固定组件)和set_type(2个参数，全局重载)

表相的背靠背，寄存器配置的背靠背，报文的背靠背

场景：往没开的端口发报文，直到计数达到最大，然后往其他的端口发报文达到反压，看计数的正确与否(这是真实配置场景，可以询问开发获得，然后验证)

边界值验证的时候：需要验证一下上下边界和中间

表相验证和寄存器验证的时候，需要验证一下：改配的场景

在整理验证计划的时候，顺序是：冒烟用例，基本功能点，覆盖率提升，专项：异常场景，边界场景(寄存器和表相配置的边界，报文长度和内容的边界)，接口全覆盖，寄存器和表相配置全随机。