projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 500b526) | patch
Improve BTOR and AIG yosys scripts
authorClaire Wolf <clifford@clifford.at>
Tue, 11 Feb 2020 16:33:46 +0000 (17:33 +0100)
committerClaire Wolf <clifford@clifford.at>
Tue, 11 Feb 2020 16:33:46 +0000 (17:33 +0100)
commit0a7013017f9d583ef6cc8d10712f4bf11cf6e024
treed23895b75599a1383c21d1eedf6d5b0ceeefda20tree
parent500b526131f434b9679732fc89515dbed67c8d7dcommit | diff
Improve BTOR and AIG yosys scripts

Signed-off-by: Claire Wolf <clifford@clifford.at>
sbysrc/sby_core.py diff | blob | history