| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Reenable existing equiv_opt tests | Jannis Harder | 2022-10-07 | 1 | -12/+12 |
| | | |||||
| * | dfflegalize: Refactor, add aldff support. | Marcelina Kościelnicka | 2021-10-27 | 1 | -5/+5 |
| | | |||||
| * | clk2fflogic: Support all FF types. | Marcelina Kościelnicka | 2020-07-24 | 1 | -12/+12 |
| | | |||||
| * | clk2fflogic: Consistently treat async control signals as negative hold. | Marcelina Kościelnicka | 2020-07-09 | 1 | -12/+12 |
| | | | | | | | | 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ścielnicka | 2020-07-01 | 1 | -0/+230 |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |