appnote 012 fix
authorClifford Wolf <clifford@clifford.at>
Sat, 4 Apr 2015 13:13:35 +0000 (15:13 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 4 Apr 2015 13:13:35 +0000 (15:13 +0200)
commit0737bf5fb8d82427bc463582ce9e84c4109a7829
tree04eab305fbcb315ba13cbff1debba2dd285c8884
parent1d5d1f79f9dc21906f057dc4601904ba01559359
appnote 012 fix
manual/APPNOTE_012_Verilog_to_BTOR.tex