Added $macc SAT model
authorClifford Wolf <clifford@clifford.at>
Sat, 6 Sep 2014 17:44:11 +0000 (19:44 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 6 Sep 2014 17:44:11 +0000 (19:44 +0200)
commitfa64942018a39085301d7f24832ad0ad7b0d22f1
tree35c826c4ac0b283c3e9f5cd8ef8448afd7425e69
parent680eaaac41bc64000faa483955279155b0fc0a6b
Added $macc SAT model
kernel/satgen.h
passes/tests/test_cell.cc
techlibs/common/simlib.v
techlibs/common/techmap.v