projects / nmigen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 38b3c4a) | patch
lib.fifo: use model equivalence to simplify formal specification.
authorwhitequark <whitequark@whitequark.org>
Sat, 19 Jan 2019 08:57:18 +0000 (08:57 +0000)
committerwhitequark <whitequark@whitequark.org>
Sat, 19 Jan 2019 09:27:56 +0000 (09:27 +0000)
commit6ea0a12dd410b0a2a6163b9e835de86ac4d95909
treecd72fa3360d378713ad158f519619934303c45cetree
parent38b3c4af31aea73ba0beb5952deceabf53b7f76fcommit | diff
lib.fifo: use model equivalence to simplify formal specification.

This is unfortunately slow, and should probably be using theory
of arrays.
nmigen/test/test_lib_fifo.py diff | blob | history