Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | synth: add support for sequential assertions. Fix #1273 | Tristan Gingold | 2020-05-06 | 1 | -0/+6 |
| | |||||
* | synth: do not try to do inference on unused nets. Fix #1225 | Tristan Gingold | 2020-04-14 | 1 | -1/+5 |
| | |||||
* | synth: rework (again) memory inference. | Tristan Gingold | 2020-02-10 | 1 | -0/+40 |
Preliminary work to support multi-clock memories. Strengthen and fix fallout of Check_Connected. Rename synth.inference to netlists.inference. |