项目基地
知识图谱
硬禾学堂
评测
工具
百科
AI助手
发布项目
登录
/
注册
首页
>
知识图谱
>
工具
>
测试测量
一些开源的验证工具和框架
收藏
分享
脑图
一些开源的验证工具和框架
工具
Symbiyosys
Verilator
LibreCores CI
AAPG (Automated Assembly Program Generator)
riscv-dv
covered
svlint
sv-parser
rggen
Code generation tool for configuration and status registers
EBMC / CBMC
Model checker for C/C++ and hardware designs
CBMC
框架
cocotb
riscv-formal
UVVM
OSVVM
VUnit
V3
组件/VIPs
uvm_axi
AXI Bus Formal VIP
AXI Bus Functional Model tvip-axi
APB Bus Functional Model tvip-apb
验证指南
Dan Gisselquist Formal Verification Blogs
会议
ORCONF
OSDA
CHIPS Alliance Workshop on Open Source Design Verification
评论
0 / 100
发表评论
查看更多
硬禾发布
2019-12-04
1935
硬禾服务号
关注最新动态
0512-67862536
info@eetree.cn
江苏省苏州市苏州工业园区新平街388号腾飞创新园A2幢815室
苏州硬禾信息科技有限公司
友情链接
STEP小脚丫
纳芯微电子
Copyright © 2023 苏州硬禾信息科技有限公司 All Rights Reserved 苏ICP备19040198号