aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-inference.adb
Commit message (Expand)AuthorAgeFilesLines
* synth: refactoring in inference/environment.Tristan Gingold2019-08-011-6/+3
* synth: refactor inference, add comment, strengthen check.Tristan Gingold2019-08-011-18/+35
* synth: refactoring in synth-inference.Tristan Gingold2019-07-311-129/+137
* synth: fix Idff; fix 'edge and enable'.Tristan Gingold2019-07-021-8/+5
* synth: add get_input_net helper.Tristan Gingold2019-06-281-2/+2
* synth: use only one edge gate, make it fully abstract. Handle falling_edge.Tristan Gingold2019-05-221-4/+5
* synth: handle synchronous enable in inference.Tristan Gingold2019-04-161-23/+45
* synth: support async reset in inference.Tristan Gingold2019-04-161-95/+114
* synth: add comments.Tristan Gingold2019-04-161-0/+56
* synth: defer gates removal after at end of entity synthesis.Tristan Gingold2017-02-151-3/+4
* Add netlist generation infrastructure.Tristan Gingold2017-01-311-0/+235