projects / nmigen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a24aff) | patch
lib.fifo: use memory in the FIFO model.
authorwhitequark <cz@m-labs.hk>
Sat, 19 Jan 2019 09:27:13 +0000 (09:27 +0000)
committerwhitequark <cz@m-labs.hk>
Sat, 19 Jan 2019 09:27:56 +0000 (09:27 +0000)
commitb7d4790321f16e466c7ef1ede86c9c2261da08dd
treea439897979ec52f1c27c338b7fbe7f41b9756ff8tree
parent6a24aff4062b9368e77db57216d13c173acd9389commit | diff
lib.fifo: use memory in the FIFO model.

This is unfortunately more complicated, but results in a much faster
proof.
nmigen/test/test_lib_fifo.py diff | blob | history