git.libre-soc.org Git - nmigen.git/history - nmigen/test/test_lib

[nmigen.git] / nmigen / test / test_lib_fifo.py

2020-08-15	awygle	lib.fifo: add `r_level` and `w_level` to all FIFOs	blob \| commitdiff \| raw
2020-07-28	Jacob Graves	tests: fix remove unnecessary workaround for some unitt...	blob \| commitdiff \| raw \| diff to current
2020-03-14	awygle	Correctly handle resets in AsyncFIFO.	blob \| commitdiff \| raw \| diff to current
2020-02-06	whitequark	test_lib_fifo: define all referenced FSM states.	blob \| commitdiff \| raw \| diff to current
2019-10-26	whitequark	test: use `#nmigen:` magic comment instead of monkey...	blob \| commitdiff \| raw \| diff to current
2019-10-13	whitequark	{,_}tools→{,_}utils	blob \| commitdiff \| raw \| diff to current
2019-10-11	whitequark	hdl.ast: deprecate Signal.{range,enum}.	blob \| commitdiff \| raw \| diff to current
2019-10-11	whitequark	Consistently use {!r}, not '{!r}' in diagnostics.	blob \| commitdiff \| raw \| diff to current
2019-09-23	whitequark	lib.fifo: handle depth=0, elaborating to a dummy FIFO...	blob \| commitdiff \| raw \| diff to current
2019-09-23	whitequark	hdl.mem,lib.fifo: use keyword-only arguments for memory...	blob \| commitdiff \| raw \| diff to current
2019-09-23	whitequark	lib.fifo: change FIFOInterface() diagnostics to follow...	blob \| commitdiff \| raw \| diff to current
2019-09-23	whitequark	lib.fifo: round up AsyncFIFO{,Buffered} depth to lowest...	blob \| commitdiff \| raw \| diff to current
2019-09-23	whitequark	lib.fifo: make simulation read() and write() functions...	blob \| commitdiff \| raw \| diff to current
2019-09-20	whitequark	test.test_lib_fifo: fix typo.	blob \| commitdiff \| raw \| diff to current
2019-09-13	whitequark	lib.fifo: adjust properties to have consistent naming.	blob \| commitdiff \| raw \| diff to current
2019-09-12	whitequark	lib.fifo: make fwft a keyword-only argument.	blob \| commitdiff \| raw \| diff to current
2019-09-12	whitequark	lib.fifo: remove SyncFIFO.replace.	blob \| commitdiff \| raw \| diff to current
2019-09-08	whitequark	hdl.mem,lib,examples: use Signal.range().	blob \| commitdiff \| raw \| diff to current
2019-08-19	whitequark	formal→asserts	blob \| commitdiff \| raw \| diff to current
2019-08-15	whitequark	hdl.ast: implement Initial.	blob \| commitdiff \| raw \| diff to current
2019-07-01	whitequark	hdl.mem: use read_port(domain="comb") for asynchronous...	blob \| commitdiff \| raw \| diff to current
2019-06-04	whitequark	Clean up imports.	blob \| commitdiff \| raw \| diff to current
2019-04-21	whitequark	hdl.ir: detect elaboratables that are created but not...	blob \| commitdiff \| raw \| diff to current
2019-01-26	whitequark	hdl.ir: rename .get_fragment() to .elaborate().	blob \| commitdiff \| raw \| diff to current
2019-01-21	whitequark	lib.fifo: add AsyncFIFO and AsyncFIFOBuffered.	blob \| commitdiff \| raw \| diff to current
2019-01-19	whitequark	lib.fifo: use memory in the FIFO model.	blob \| commitdiff \| raw \| diff to current
2019-01-19	whitequark	lib.fifo: use model equivalence to simplify formal...	blob \| commitdiff \| raw \| diff to current
2019-01-19	whitequark	hdl.xfrm: mark internal registers used in lowering...	blob \| commitdiff \| raw \| diff to current
2019-01-19	whitequark	lib.fifo: formally verify FIFO contract.	blob \| commitdiff \| raw \| diff to current
2019-01-17	whitequark	lib.fifo: add basic formal specification.	blob \| commitdiff \| raw \| diff to current
2019-01-16	whitequark	lib.fifo: port sync FIFO queues from Migen.	blob \| commitdiff \| raw \| diff to current

RSS Atom