projects / nmigen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5bb1d3) | patch
lib.fifo: formally verify FIFO contract.
authorwhitequark <cz@m-labs.hk>
Sat, 19 Jan 2019 00:52:56 +0000 (00:52 +0000)
committerwhitequark <cz@m-labs.hk>
Sat, 19 Jan 2019 00:52:56 +0000 (00:52 +0000)
commit5d132a293bb466460df8233d390f338a73055600
tree7c28475d28f2fe20a381b5cc79ec8a1f5fccffadtree
parentc5bb1d3fca39670db7a7a9b1699f2d7f3a3c5749commit | diff
lib.fifo: formally verify FIFO contract.
nmigen/lib/fifo.py diff | blob | history
nmigen/test/test_lib_fifo.py diff | blob | history
nmigen/test/tools.py diff | blob | history