aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/netlists-utils.adb
Commit message (Expand)AuthorAgeFilesLines
* netlists: infere tri gate.Tristan Gingold2020-04-221-0/+14
* netlists: add new helpers for yosys plugin.Tristan Gingold2020-03-311-0/+10
* synth: add helper to support inout ports in yosys plugin. For #1166Tristan Gingold2020-03-291-0/+5
* netlists: get_net_uns64: handle id_const_sb32.Tristan Gingold2020-01-121-0/+11
* netlists-utils: consider 0 bit net as static.Tristan Gingold2020-01-121-0/+6
* netlists-utils: factorize code (same_net).Tristan Gingold2020-01-121-15/+24
* netlists-memories: allow intermediate signals to detect sync read.Tristan Gingold2020-01-121-0/+12
* synth-environment: also optimize mux merge for sub-nets.Tristan Gingold2019-12-311-0/+28
* synth: handle wire assigned to a static value. Fix #1058Tristan Gingold2019-12-291-0/+20
* synth: add Get_Input_Instance.Tristan Gingold2019-12-141-0/+6
* synth: do more constant propagation (on build2Tristan Gingold2019-11-051-1/+28
* netlists-utils: add clog2Tristan Gingold2019-11-031-0/+6
* synth: rewrite cleanup pass.Tristan Gingold2019-10-101-59/+0
* netlists-disp_vhdl: handle Const_Log, add comments, fix assertion.Tristan Gingold2019-10-021-0/+3
* synth: fold addition on constant nets.Tristan Gingold2019-09-171-0/+5
* synth: minor refactoring about const gates.Tristan Gingold2019-09-151-3/+9
* synth: add support for memories.Tristan Gingold2019-07-291-1/+6
* add port width utility function for yosys (#876)Pepijn de Vos2019-07-211-0/+10
* synth: add concatn gateTristan Gingold2019-07-191-9/+12
* synth: disp_vhdl: merge literals.Tristan Gingold2019-06-281-0/+15
* synth: Move get_input_net to netlists.utils.Tristan Gingold2019-06-281-0/+5
* synth: defer gates removal after at end of entity synthesis.Tristan Gingold2017-02-151-0/+59
* Add netlist generation infrastructure.Tristan Gingold2017-01-311-0/+126