验证总让人和机械劳动,没有价值等概念联系起来,如果你不培养自己这方面的兴趣,那你还真的做不出来什么有价值的东西。因此兴趣需要培养 :) 1. Mutation 鉴于该项目还在patent sear
验证总让人和机械劳动,没有价值等概念联系起来,如果你不培养自己这方面的兴趣,那你还真的做不出来什么有价值的东西。因此兴趣需要培养 :)
1. Mutation
鉴于该项目还在patent search阶段,延迟2个月再来完善;
2. HTB
Hybrid testbech,目的是复用IP level的checker(假定是用UVM写的)到chip的验证环境中(假定是C++fusion这一套),同时要解决很多VIP没有mesa仿真model的问题。
其实就是解决前面文章提到的mesa的缺点。
2.1 how it works?
两个部分,第一个部分是将dut的signal和uvm的interface建立起联系,这样当把dut放到fusion-mesa环境里时,uvm(在ncsim里run)仍然能够看到接口信号;另一个部分是通过socket接口,将uvm所有的backdoor操作(VIP一般都支持backdoor access)映射到mesa环境里。
2.2 实现方法
第一部分由eda team和cdn合作完成,细节不详,第二部分有我们自己开发,denali vip的调用最终都会实现成这个样子:
write_data(trans.rank_select, trans.address, trans.data) | +> write_inst_data(ddr4sdram_mem_inst, addr, wr_data) | +> inst.backdoor_write(trans) // inherit from denaliMemInstance | +> write(trans) // write is denaliMemInstance’ function
我们在write(trans)和backdoor_write之间加一层,在该层把我们需要的信息存储下来,同是通过systemverilog的DPI-C/C++接口将信息送到socket的一端。在fusion一端,守护进程每个cycle都进行端口检测,并把所需信息放回给uvm端。