☰
Vera
类型:
concepts
引用论文:
5 篇
谎言、该死的谎言与硬件验证
从 Vera 到 SystemVerilog 的逐步迁移方法
内建自测试与修复验证的挑战
大规模Vera测试平台基础设施向SystemVerilog和SystemC的迁移——风险缓解与价值创造策略
桥接硅前与硅后验证差距 —— Vera 在交换 ASIC 验证中的硅后实现
↑