aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/netlists-inference.ads
Commit message (Expand)AuthorAgeFilesLines
* synth: use a generic version of synth-environment.Tristan Gingold2021-04-271-3/+2
* update license headersumarcor2021-02-051-5/+3
* synth: add support for sequential assertions. Fix #1273Tristan Gingold2020-05-061-0/+6
* synth: do not try to do inference on unused nets. Fix #1225Tristan Gingold2020-04-141-1/+5
* synth: rework (again) memory inference.Tristan Gingold2020-02-101-0/+40