mirror of https://github.com/YosysHQ/yosys.git
manual: fix pdflatex inputenc undefined char error
Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>
This commit is contained in:
parent
a3eec687e0
commit
9a413803eb
|
@ -3156,7 +3156,7 @@ for removal of the read port.
|
||||||
opt_mem_priority [selection]
|
opt_mem_priority [selection]
|
||||||
|
|
||||||
This pass detects cases where one memory write port has priority over another
|
This pass detects cases where one memory write port has priority over another
|
||||||
even though they can never collide with each other — ie. there can never be
|
even though they can never collide with each other -- ie. there can never be
|
||||||
a situation where a given memory bit is written by both ports at the same
|
a situation where a given memory bit is written by both ports at the same
|
||||||
time, for example because of always-different addresses, or mutually exclusive
|
time, for example because of always-different addresses, or mutually exclusive
|
||||||
enable signals. In such cases, the priority relation is removed.
|
enable signals. In such cases, the priority relation is removed.
|
||||||
|
|
Loading…
Reference in New Issue