projects / nmigen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ea0a12) | patch
lib.fifo: use memory in the FIFO model.
authorwhitequark <whitequark@whitequark.org>
Sat, 19 Jan 2019 09:27:13 +0000 (09:27 +0000)
committerwhitequark <whitequark@whitequark.org>
Sat, 19 Jan 2019 09:27:56 +0000 (09:27 +0000)
commit9de927270986fb43ba04386d69d3451ba56cc90f
treea439897979ec52f1c27c338b7fbe7f41b9756ff8tree
parent6ea0a12dd410b0a2a6163b9e835de86ac4d95909commit | 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