☰
SVA SystemVerilog 断言
类型:
concepts
引用论文:
9 篇
使用Magellan验证挑战性处理器内核
将 SVA 协议检查与面向对象测试台结构相结合！
将SVA协议检查与面向对象测试平台结构结合
使用 Magellan 对仲裁器进行端到端形式验证
SystemVerilog断言设计技巧与SVA绑定文件
如果属性中的链式蕴含不那么难，那就简单了
使用 VC Formal 进行 DFT 时钟验证
超低功耗SoC设计的综合功耗验证
使用混合流程实现CDC功能验证收敛
↑