| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add the $anyinit cell and the formalff pass | Jannis Harder | 2022-08-16 | 1 | -4/+15 |
| | | | | | | | | These can be used to protect undefined flip-flop initialization values from optimizations that are not sound for formal verification and can help mapping all solver-provided values in witness traces for flows that use different backends simultaneously. | ||||
| * | Add opt_ffinv pass. | Marcelina Kościelnicka | 2022-05-13 | 1 | -3/+10 |
| | | |||||
| * | dfflegalize: Refactor, add aldff support. | Marcelina Kościelnicka | 2021-10-27 | 1 | -6/+186 |
| | | |||||
| * | FfData: some refactoring. | Marcelina Kościelnicka | 2021-10-07 | 1 | -0/+575 |
| - FfData now keeps track of the module and underlying cell, if any (so calling emit on FfData created from a cell will replace the existing cell) - FfData implementation is split off to its own .cc file for faster compilation - the "flip FF data sense by inserting inverters in front and after" functionality that zinit uses is moved onto FfData class and beefed up to have dffsr support, to support more use cases | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |