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