SymbiYosys:SymbiYosys（sby）-基于Yosys的形式验证流程的前端
SymbiYosys（sby）是用于基于的正式硬件验证流程的前端驱动程序。 有关如何使用SymbiYosys的文档，请参见 。
在上已经发布了许多使用SymbiYosys的示例设计。 请考虑浏览的，以获取示例和评论。
SymbiYosys（sby）本身是根据ISC许可获得许可的，请注意，SymbiYosys使用的求解器和其他组件带有其自己的许可条款。 的更多详细信息。
文件下载
资源详情
[{"title":"（ 78 个子文件 91KB ） SymbiYosys:SymbiYosys（sby）-基于Yosys的形式验证流程的前端","children":[{"title":"SymbiYosys-master","children":[{"title":"extern","children":[{"title":"picorv32.v <span style='color:#111;'> 92.26KB </span>","children":null,"spread":false},{"title":"axicheck.v <span style='color:#111;'> 5.45KB </span>","children":null,"spread":false},{"title":"launcher.c <span style='color:#111;'> 11.36KB </span>","children":null,"spread":false}],"spread":true},{"title":"docs","children":[{"title":"examples","children":[{"title":"demos","children":[{"title":"fib.sv <span style='color:#111;'> 994B </span>","children":null,"spread":false},{"title":"fib.sby <span style='color:#111;'> 218B </span>","children":null,"spread":false},{"title":".gitignore <span style='color:#111;'> 32B </span>","children":null,"spread":false}],"spread":true},{"title":"quickstart","children":[{"title":"cover.sby <span style='color:#111;'> 103B </span>","children":null,"spread":false},{"title":"memory.sv <span style='color:#111;'> 1.26KB </span>","children":null,"spread":false},{"title":"prove.sby <span style='color:#111;'> 109B </span>","children":null,"spread":false},{"title":"demo.sby <span style='color:#111;'> 110B </span>","children":null,"spread":false},{"title":"cover.sv <span style='color:#111;'> 274B </span>","children":null,"spread":false},{"title":"memory.sby <span style='color:#111;'> 140B </span>","children":null,"spread":false},{"title":".gitignore <span style='color:#111;'> 24B </span>","children":null,"spread":false},{"title":"demo.sv <span style='color:#111;'> 294B </span>","children":null,"spread":false},{"title":"prove.sv <span style='color:#111;'> 830B </span>","children":null,"spread":false}],"spread":true},{"title":"multiclk","children":[{"title":"dpmem.sby <span style='color:#111;'> 148B </span>","children":null,"spread":false},{"title":"dpmem.sv <span style='color:#111;'> 1.04KB </span>","children":null,"spread":false},{"title":".gitignore <span style='color:#111;'> 8B </span>","children":null,"spread":false}],"spread":true},{"title":"puzzles","children":[{"title":"wolf_goat_cabbage.sv <span style='color:#111;'> 1.34KB </span>","children":null,"spread":false},{"title":"wolf_goat_cabbage.sby <span style='color:#111;'> 151B </span>","children":null,"spread":false},{"title":"pour_853_to_4.sby <span style='color:#111;'> 139B </span>","children":null,"spread":false},{"title":"pour_853_to_4.sv <span style='color:#111;'> 1.02KB </span>","children":null,"spread":false},{"title":"primegen.sv <span style='color:#111;'> 602B </span>","children":null,"spread":false},{"title":"djb2hash.sby <span style='color:#111;'> 142B </span>","children":null,"spread":false},{"title":".gitignore <span style='color:#111;'> 107B </span>","children":null,"spread":false},{"title":"djb2hash.sv <span style='color:#111;'> 402B </span>","children":null,"spread":false},{"title":"primegen.sby <span style='color:#111;'> 323B </span>","children":null,"spread":false}],"spread":true},{"title":"abstract","children":[{"title":"props.sby <span style='color:#111;'> 286B </span>","children":null,"spread":false},{"title":"demo.v <span style='color:#111;'> 330B </span>","children":null,"spread":false},{"title":"props.sv <span style='color:#111;'> 426B </span>","children":null,"spread":false},{"title":"abstr.sv <span style='color:#111;'> 858B </span>","children":null,"spread":false},{"title":"abstr.sby <span style='color:#111;'> 181B </span>","children":null,"spread":false},{"title":".gitignore <span style='color:#111;'> 32B </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 4.48KB </span>","children":null,"spread":false}],"spread":true}],"spread":true},{"title":"Makefile <span style='color:#111;'> 7.45KB </span>","children":null,"spread":false},{"title":"source","children":[{"title":"quickstart.rst <span style='color:#111;'> 4.85KB </span>","children":null,"spread":false},{"title":"reference.rst <span style='color:#111;'> 16.04KB </span>","children":null,"spread":false},{"title":"conf.py <span style='color:#111;'> 9.75KB </span>","children":null,"spread":false},{"title":"verific.rst <span style='color:#111;'> 4.27KB </span>","children":null,"spread":false},{"title":"install.rst <span style='color:#111;'> 2.64KB </span>","children":null,"spread":false},{"title":"license.rst <span style='color:#111;'> 1.07KB </span>","children":null,"spread":false},{"title":"verilog.rst <span style='color:#111;'> 8.84KB </span>","children":null,"spread":false},{"title":"index.rst <span style='color:#111;'> 709B </span>","children":null,"spread":false}],"spread":true}],"spread":true},{"title":"tests","children":[{"title":"both_ex.v <span style='color:#111;'> 441B </span>","children":null,"spread":false},{"title":"cover.sby <span style='color:#111;'> 120B </span>","children":null,"spread":false},{"title":"memory.sv <span style='color:#111;'> 1.26KB </span>","children":null,"spread":false},{"title":"redxor.v <span style='color:#111;'> 118B </span>","children":null,"spread":false},{"title":"mixed.v <span style='color:#111;'> 320B </span>","children":null,"spread":false},{"title":"prv32fmcmp.v <span style='color:#111;'> 1.87KB </span>","children":null,"spread":false},{"title":"demo.sby <span style='color:#111;'> 172B </span>","children":null,"spread":false},{"title":"cover.sv <span style='color:#111;'> 274B </span>","children":null,"spread":false},{"title":"both_ex.sby <span style='color:#111;'> 234B </span>","children":null,"spread":false},{"title":"memory.sby <span style='color:#111;'> 180B </span>","children":null,"spread":false},{"title":"preunsat.sby <span style='color:#111;'> 276B </span>","children":null,"spread":false},{"title":"stopfirst.sby <span style='color:#111;'> 201B </span>","children":null,"spread":false},{"title":"mixed.sby <span style='color:#111;'> 219B </span>","children":null,"spread":false},{"title":".gitignore <span style='color:#111;'> 96B </span>","children":null,"spread":false},{"title":"Makefile <span style='color:#111;'> 171B </span>","children":null,"spread":false},{"title":"redxor.sby <span style='color:#111;'> 129B </span>","children":null,"spread":false},{"title":"demo.sv <span style='color:#111;'> 293B </span>","children":null,"spread":false},{"title":"prv32fmcmp.sby <span style='color:#111;'> 231B </span>","children":null,"spread":false}],"spread":false},{"title":"sbysrc","children":[{"title":"sby_core.py <span style='color:#111;'> 26.87KB </span>","children":null,"spread":false},{"title":"sby_mode_live.py <span style='color:#111;'> 1.45KB </span>","children":null,"spread":false},{"title":"sby_engine_btor.py <span style='color:#111;'> 9.27KB </span>","children":null,"spread":false},{"title":"demo1.sby <span style='color:#111;'> 306B </span>","children":null,"spread":false},{"title":"sby_mode_cover.py <span style='color:#111;'> 1.60KB </span>","children":null,"spread":false},{"title":"demo2.sby <span style='color:#111;'> 383B </span>","children":null,"spread":false},{"title":"sby_engine_aiger.py <span style='color:#111;'> 6.05KB </span>","children":null,"spread":false},{"title":"sby_mode_bmc.py <span style='color:#111;'> 1.76KB </span>","children":null,"spread":false},{"title":"sby_mode_prove.py <span style='color:#111;'> 1.92KB </span>","children":null,"spread":false},{"title":"sby_engine_abc.py <span style='color:#111;'> 4.88KB </span>","children":null,"spread":false},{"title":"demo3.sby <span style='color:#111;'> 789B </span>","children":null,"spread":false},{"title":"sby_engine_smtbmc.py <span style='color:#111;'> 8.87KB </span>","children":null,"spread":false},{"title":"sby.py <span style='color:#111;'> 15.71KB </span>","children":null,"spread":false}],"spread":false},{"title":".gitignore <span style='color:#111;'> 51B </span>","children":null,"spread":false},{"title":"Makefile <span style='color:#111;'> 4.11KB </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 854B </span>","children":null,"spread":false},{"title":"COPYING <span style='color:#111;'> 828B </span>","children":null,"spread":false}],"spread":true}],"spread":true}]
评论信息
其他资源
- 加载器和连接器（Linkers and Loaders）（中文版+英文版）
- 成语大全-看图猜成语-成语解析-成语json
- OSLO破解版
- 《Head First HTML与CSS（第2版）》中文高清完整PDF版
- 格林函数的Matlab模拟（完整源程序和论文）
- xmlbeans-2.6.0.jar
- greensock（TweenLite）缓动包
- erlang23.2版windows64位.zip
- C#前后方交会定点计算程序
- Curvelet最新工具包2.1.2
- VS2019编译VLD的运行库
- baby_forensic.zip
- OffAxisCamera.unitypackage
- 车辆检测系统（python）
- java聊天程序（群聊，私聊，传输文件，截图等功能）
- 三相光伏逆变并网 仿真
- ComsenzDiscuz-DiscuzX-master最新版本X3.4
- 基于模型的自动测试系统(AutoTCG).doc
- winform 多线程 异步 文件操作(查询、删除) 实例 代码 textbox ComboBox label C#
- Compiling your first Qt Program in Ubuntu.pdf
- Surgical_Mask_Strap_Remix.stl
- flask表单提交 forms.py
- 基于SSM框架JAVA项目-经销存系统（含视频以及代码教程）
- SDL2系列教程10-扔箱子的抛物线小游戏代码
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明