appnote added
authorAhmed Irfan <irfan@levert.(none)>
Mon, 3 Nov 2014 12:23:35 +0000 (13:23 +0100)
committerAhmed Irfan <irfan@levert.(none)>
Mon, 3 Nov 2014 12:23:35 +0000 (13:23 +0100)
commit6c6cdf736a5371f715a8f7d759e9caf72db5b21e
tree866accf58bf090264ab70268b2c56170421b4cfc
parentd3c67ad9b61f602de1100cd264efd227dcacb417
appnote added
manual/APPNOTE_012_Verilog_to_BTOR.tex [new file with mode: 0644]