whitequark
|
2c80f35de4
|
lib.fifo: fix typo in AsyncFIFO documentation.
|
2019-01-22 05:47:50 +00:00 |
|
|
whitequark
|
e33580cf4c
|
lib.fifo: add AsyncFIFO and AsyncFIFOBuffered.
|
2019-01-21 16:02:46 +00:00 |
|
|
whitequark
|
3ed519383c
|
lib.fifo: fix simulation read/write methods to take only one cycle.
|
2019-01-19 01:38:09 +00:00 |
|
|
whitequark
|
97b990272e
|
lib.fifo: formally verify FIFO contract.
|
2019-01-19 00:52:56 +00:00 |
|
|
whitequark
|
5a831ce31c
|
lib.fifo: add basic formal specification.
|
2019-01-17 05:40:25 +00:00 |
|
|
whitequark
|
b78a2be9f6
|
lib.fifo: port sync FIFO queues from Migen.
|
2019-01-16 17:20:38 +00:00 |
|