This website requires JavaScript.
Explore
Help
Register
Sign In
mirrors
/
sby
Watch
3
Star
0
Fork
You've already forked sby
0
mirror of
https://github.com/YosysHQ/sby.git
synced
2025-04-03 13:29:56 +00:00
Code
Activity
main
sby
/
tools
History
Krystine Sherwin
176e59c3d8
Replace (read_)ilang with (read_)rtlil
2024-11-05 12:55:09 +13:00
..
aigcexmin
Add aigcxemin and cexenum.py tools
2023-11-16 13:46:25 +01:00
cexenum
Replace (read_)ilang with (read_)rtlil
2024-11-05 12:55:09 +13:00
README.md
Add aigcxemin and cexenum.py tools
2023-11-16 13:46:25 +01:00
README.md
SBY - Additional Tools
This directory contains various tools that can be used in conjunction with SBY.
aigcexmin
Counter-example minimization of AIGER witness (.aiw) files
cexenum
Enumeration of minimized counter-examples