Add "techmap -wb", use in formal flows
authorClifford Wolf <clifford@clifford.at>
Sat, 20 Apr 2019 09:23:24 +0000 (11:23 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 20 Apr 2019 09:23:24 +0000 (11:23 +0200)
commitf3ad8d680a3195ab9525b0a8b3f8dbff9d5e6e24
treeba6aed72aa5e38b799f35aed25a540bdce180fc8
parentb7445ef3871b38360440d5c83dbac45c96b67277
Add "techmap -wb", use in formal flows

Signed-off-by: Clifford Wolf <clifford@clifford.at>
passes/equiv/equiv_opt.cc
passes/sat/miter.cc
passes/techmap/techmap.cc