没有合适的资源?快使用搜索试试~ 我知道了~
Pyverilog_toolbox
共53个文件
v:21个
py:15个
md:7个
需积分: 18 2 下载量 103 浏览量
2021-05-17
04:39:38
上传
评论
收藏 228KB ZIP 举报
温馨提示
介绍 Pyverilog_toolbox是基于Pyverilog的验证/设计工具,包括代码克隆查找器,指标计算器等。 Pyverilog_toolbox可以加速您的数字电路设计验证。 感谢Pyverilog开发人员shtaxxx。 软件需求 Python(2.7或3.4) Pyverilog(您可以从下载)Pyverilog需要Icarus verilog 安装 (如果要在Windows上使用GUI独立版本,请 如果要将Pyverilog用作常规库,则可以使用setup.py在您的环境中安装。 python setup.py install 或者你可以使用点子 pip install pyverilog_toolbox 特征 codeclone_finder codeclone_finder可以找到一对寄存器克隆,它们始终保持相同的值。 也可以找到一对反转寄存器,它们总是保持不同的
资源推荐
资源详情
资源评论
收起资源包目录
Pyverilog_toolbox-master.zip (53个子文件)
Pyverilog_toolbox-master
.travis.yml 341B
pyverilog_toolbox
docs
screenshot.PNG 182KB
cnt_analyzer.md 2KB
metrics.md 2KB
combloop.md 520B
codeclone.md 1KB
gui.md 1KB
unreferenced.md 2KB
regmap.md 1KB
testcode
config_metrics.txt 16B
fv_test.v 550B
regmap.v 908B
regmap_split.v 520B
case_in_func.v 393B
metrics_test.v 1KB
reg_clone.v 1KB
combloop.v 90B
floating2.v 728B
combloop2.v 267B
test_ra.py 10KB
setup.txt 102B
not_combloop.v 223B
norm_cnt3.v 480B
floating.v 237B
unreferenced_variables.v 678B
complex_partselect.v 222B
metrics_test2.v 585B
metrics_func.v 1KB
combloop1.v 151B
norm_cnt.v 302B
norm_cnt2.v 1KB
combloop4.v 199B
regmap2.v 474B
__init__.py 99B
gui
gui_main.py 14KB
gui_main_onefile.spec 943B
__init__.py 85B
gui_main.spec 1KB
verify_tool
regmap_analyzer.py 9KB
combloop_finder.py 1KB
cnt_analyzer.py 14KB
codeclone_finder.py 5KB
__init__.py 256B
dataflow_facade.py 10KB
formal_verifier.py 9KB
metrics_calculator.py 15KB
bindlibrary.py 16KB
unreferenced_finder.py 3KB
LICENSE 11KB
setup.cfg 61B
setup.py 754B
.gitignore 421B
Readme.rst 3KB
共 53 条
- 1
资源评论
在南极找不到南
- 粉丝: 27
- 资源: 4605
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功