基于VMM验证方法学的MCU验证环境

b87m_0_0 = {8’bxxxxxxx0};

　　wildcard bins b87m_1_0 = {8‘bxxxxxxx1};

　　wildcard bins b87m_0_1 = {8’bxxxxxx0x};

　　wildcard bins b87m_1_1 = {8‘bxxxxxx1x};

　　}

　　另外可以收集指令与指令参数的交叉覆盖率分析，例如：

　　covergroup gen_port_cov;

　　coverpoint addr_mode;

　　coverpoint kind;

　　cross addr_mode， kind;

　　option.weight = 0;

　　endgroup

　　可以说对于MCU这样的DUT，功能点很难被完全描述，但是功能覆盖率还是提供了一部分量化指标，供验证参考。

　　5 小结

　　本文实现了一个验证MCU指令的基于VMM的验证环境，在这个环境里不但可以使用随机的指令生成来输入指令，也可以使用已有的应用程序代码，另外提供了 memory自检环境，可以在每一条指令执行后检查memory值，从最全面角度保证每条指令执行结果是正确的。此外还提供了功能覆盖率模型，收集覆盖率结果。这个环境可以被复用扩展，基于这个MCU开发的软件都可以在这个验证环境中先运行以保证软件的正确性。