Clifford Wolf 297a0962ea Added SAT-based write-port sharing to memory_share

2014-07-19 15:33:55 +02:00

..

asicworld

Added note to "make test": use git checkout of iverilog

2014-07-16 10:03:07 +02:00

hana

Added note to "make test": use git checkout of iverilog

2014-07-16 10:03:07 +02:00

memories

Added SAT-based write-port sharing to memory_share

2014-07-19 15:33:55 +02:00

realmath

Added note to "make test": use git checkout of iverilog

2014-07-16 10:03:07 +02:00

sat

now ignore init attributes on non-register wires in sat command

2014-07-05 11:18:38 +02:00

simple

Implemented dynamic bit-/part-select for memory writes

2014-07-17 16:49:23 +02:00

techmap

Changed tests/techmap/mem_simple_4x1_map for new $mem/$memwr WR_EN interface

2014-07-16 14:08:51 +02:00

tools

Also simulate unmapped memories in "make test"

2014-07-17 16:53:52 +02:00