18 commits

Author	SHA1	Message	Date
whitequark	f44ca291c1	lib.cdc: add ResetSynchronizer.	2019-01-26 18:07:59 +00:00
whitequark	4948162f33	hdl.ir: rename .get_fragment() to .elaborate(). ... Closes #9.	2019-01-26 02:31:12 +00:00
whitequark	7b25665fde	back.pysim: fix behavior of initial cycle for sync processes. ... The current behavior was introduced in 65702719, which was a wrong fix for an issue that was actually fixed in 12e04e4e. This commit effectively reverts 65702719 and 1782b841.	2019-01-25 20:37:56 +00:00
whitequark	1782b841b2	lib.fifo: in FIFOInterface.read(), check readable on the right cycle.	2019-01-22 07:03:46 +00:00
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	b6cff2c098	lib.coding: add GrayEncoder and GrayDecoder. ... Unlike the Migen ones, these are purely combinatorial.	2019-01-20 02:20:34 +00:00
whitequark	9757157fe2	lib.coding: add width as attribute to all coders.	2019-01-20 01:59:09 +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
whitequark	c4276f7cf7	lib.io: pass pin to platform.get_tristate().	2019-01-14 21:39:19 +00:00
whitequark	b534e92dd5	hdl.ir: allow explicitly requesting flattening.	2019-01-14 17:04:23 +00:00
whitequark	6f66885c09	lib.io: lower to platform-independent tristate buffer.	2019-01-14 16:50:04 +00:00
whitequark	3ea35b8566	lib.coding: fix tests to actually run, and fix code to fix tests.	2018-12-27 21:45:55 +00:00
whitequark	528747703d	lib.coding: port from Migen.	2018-12-26 13:19:34 +00:00
whitequark	790eb05a92	Rename fhdl→hdl, genlib→lib.	2018-12-15 14:25:31 +00:00