projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d3c67ad) | patch
appnote for verilog to btor
authorAhmed Irfan <irfan@levert.(none)>
Fri, 3 Apr 2015 14:20:29 +0000 (16:20 +0200)
committerAhmed Irfan <irfan@levert.(none)>
Fri, 3 Apr 2015 14:20:29 +0000 (16:20 +0200)
commit7ad179151bc444eb7ee664b2145b41de199c4920
treef4b8fd204cf07d943363e947970282023d957ed6tree
parentd3c67ad9b61f602de1100cd264efd227dcacb417commit | diff
appnote for verilog to btor
manual/APPNOTE_012_Verilog_to_BTOR.tex [new file with mode: 0644] blob