功能验证 Functional Verification

类型: concepts
引用论文: 9 篇
缩短失败测试用例长度：混合暴力与智能方法从大量仿真中提取有意义信息
谎言、该死的谎言与硬件验证
svunit：将敏捷方法引入功能验证
使用 MATLAB 和 Simulink 与 VCS 联合仿真的智能 HDL 功能验证测试平台
使用ESP-CV对嵌入式存储器进行符号仿真的功能验证
HP公司的VMM验证流程优化
更简单的 RAL：使用 UVM 寄存器抽象层所需了解的一切
数字化设计中的高级验证技术
使用VC Apps提升验证与调试效率