projects / nmigen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: efa9224) | patch
lib.fifo: use model equivalence to simplify formal specification.
authorwhitequark <cz@m-labs.hk>
Sat, 19 Jan 2019 08:57:18 +0000 (08:57 +0000)
committerwhitequark <cz@m-labs.hk>
Sat, 19 Jan 2019 09:27:56 +0000 (09:27 +0000)
commit6a24aff4062b9368e77db57216d13c173acd9389
treecd72fa3360d378713ad158f519619934303c45cetree
parentefa92243d9cece2032043d2b38151320e5a4dfcfcommit | 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