aboutsummaryrefslogtreecommitdiffstats
path: root/tests/techmap/dfflegalize_sr.ys
Commit message (Collapse)AuthorAgeFilesLines
* clk2fflogic: Support all FF types.Marcelina Kościelnicka2020-07-241-6/+6
|
* clk2fflogic: Consistently treat async control signals as negative hold.Marcelina Kościelnicka2020-07-091-6/+6
| | | | | | | This fixes some dfflegalize equivalence checks, and breaks others — and I strongly suspect the others are due to bad support for multiple async inputs in `proc` (in particular, lack of proper support for dlatchsr and sketchy circuits on dffsr control inputs).
* dfflegalize: Add tests.Marcelina Kościelnicka2020-07-011-0/+74