Hacked together program to convert btor2 files to Verilog. Does not currently support arrays.
lonsing / btor2verilog Goto Github PK
View Code? Open in Web Editor NEWThis project forked from makaimann/btor2verilog
Hacked together program to convert btor2 files to Verilog.
License: BSD 3-Clause "New" or "Revised" License