文件名称：SymbiYosys:SymbiYosys（sby）-基于Yosys的形式验证流程的前端
文件大小：91KB
文件格式：ZIP
更新时间：2024-05-19 09:08:54
Python
SymbiYosys（sby）是用于基于的正式硬件验证流程的前端驱动程序。 有关如何使用SymbiYosys的文档，请参见 。 在上已经发布了许多使用SymbiYosys的示例设计。 请考虑浏览的，以获取示例和评论。 SymbiYosys（sby）本身是根据ISC许可获得许可的，请注意，SymbiYosys使用的求解器和其他组件带有其自己的许可条款。 的更多详细信息。
【文件预览】：
SymbiYosys-master
----extern()
--------picorv32.v(92KB)
--------axicheck.v(5KB)
--------launcher.c(11KB)
----docs()
--------examples()
--------Makefile(7KB)
--------source()
----tests()
--------both_ex.v(441B)
--------cover.sby(120B)
--------memory.sv(1KB)
--------redxor.v(118B)
--------mixed.v(320B)
--------prv32fmcmp.v(2KB)
--------demo.sby(172B)
--------cover.sv(274B)
--------both_ex.sby(234B)
--------memory.sby(180B)
--------preunsat.sby(276B)
--------stopfirst.sby(201B)
--------mixed.sby(219B)
--------.gitignore(96B)
--------Makefile(171B)
--------redxor.sby(129B)
--------demo.sv(293B)
--------prv32fmcmp.sby(231B)
----sbysrc()
--------sby_core.py(27KB)
--------sby_mode_live.py(1KB)
--------sby_engine_btor.py(9KB)
--------demo1.sby(306B)
--------sby_mode_cover.py(2KB)
--------demo2.sby(383B)
--------sby_engine_aiger.py(6KB)
--------sby_mode_bmc.py(2KB)
--------sby_mode_prove.py(2KB)
--------sby_engine_abc.py(5KB)
--------demo3.sby(789B)
--------sby_engine_smtbmc.py(9KB)
--------sby.py(16KB)
----.gitignore(51B)
----Makefile(4KB)
----README.md(854B)
----COPYING(828B)