| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | xprop, setundef: Mark xprop decoding bwmuxes, exclude them from setundef | Jannis Harder | 2023-01-11 | 1 | -1/+2 |
| | | | | | | | | | This adds the xprop_decoder attribute to bwmuxes that drive the original unencoded signals. Setundef is changed to ignore the x inputs of these bwmuxes, so that they survive the prep script of SBY's formal flow. This is required to make simulation (via sim) using the prep model show the decoded x signals instead of 0/1 values made up by the solver. | ||||
| * | xprop: Improve signal splitting code | Jannis Harder | 2022-12-12 | 1 | -14/+10 |
| | | | | | | Avoid splitting output ports twice when combining -split-outputs with -split-public and clean up the corresponding code. | ||||
| * | xprop: Add -split-public option | Jannis Harder | 2022-12-08 | 1 | -0/+39 |
| | | |||||
| * | New xprop pass to encode 3-valued x-propagation using 2-valued logic | Jannis Harder | 2022-11-30 | 1 | -0/+1198 |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |