Added SAT-based write-port sharing to memory_share
authorClifford Wolf <clifford@clifford.at>
Sat, 19 Jul 2014 13:33:55 +0000 (15:33 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 19 Jul 2014 13:33:55 +0000 (15:33 +0200)
commit297a0962ea399fcfa80656af2bc887c5725f5b82
tree5b37460137ceee98e29bc7e197ee2ed8d73ceeb6
parent35edac0b31ff826c60d864febefc294263613716
Added SAT-based write-port sharing to memory_share
passes/memory/memory_share.cc
tests/memories/shared_ports.v [new file with mode: 0644]