Fix SMT Memory Bug (#1942) (#1950) (1eb752f2) · Commits · github.com / freechipsproject / firrtl

Unverified Commit 1eb752f2 authored Nov 11, 2020 by

Kevin Laeufer Committed by GitHub Nov 11, 2020

Fix SMT Memory Bug (#1942) (#1950)



* smt: add test for write port collision

* smt: add missing call to insertDummyAssignsForMemoryOutputs

* smt: fix typo in write port code

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

parent 0e7ccf2f

Hide whitespace changes

Inline Side-by-side

Please register or to comment