- 博客(2)
- 收藏
- 关注
RSS订阅原创 Word进阶学习总结
行-段-页-节段对应样式，通过enter进行换段，shift+enter进行换行节对应页眉和页码，在设置页眉之前将每个章节通过分隔符进行分节。
2024-01-05 13:18:54
361
原创 基于 systemverilog 的 FPGA 功能仿真
2b3142功能验证可以分为黑盒、白盒、灰盒验证，黑盒验证方法指通过输入和输出信号来验证一个模块，不需要关注内部的执行情况。白盒则通过内部监控和断言保证全部设计属性的正确。灰盒介于两者之间，通过添加少量监控和断言，减少对参考模型的精度要求。通常，我们只使用黑盒和灰盒验证，不会使用白盒验证，因为白盒验证花费时间较多，而且内部状态通常不稳定，不利于对所有的设计属性进行检测。
2024-01-05 13:15:26
1182
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人