aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/netlists-inference.adb
Commit message (Collapse)AuthorAgeFilesLines
* netlists-inference: add (disabled) code to add a latchTristan Gingold2022-07-161-26/+103
|
* netlists-inference: detect false loops only for variables. Fix #2125Tristan Gingold2022-07-111-2/+3
|
* synth: add --latches option to enable latches. Fix #938Tristan Gingold2021-12-061-1/+5
|
* netlists-inference: improve location for dff.Tristan Gingold2021-08-291-1/+1
|
* synth: use a generic version of synth-environment.Tristan Gingold2021-04-271-13/+11
|
* update license headersumarcor2021-02-051-5/+3
|
* netlists-inference: handle multiple dff with the same clock. Fix #1563Tristan Gingold2021-01-011-5/+20
|
* synth-expr: propagate error in synth_indexed_nameTristan Gingold2021-01-011-0/+1
|
* netlists-inference: do not infere a memory in case of reset.Tristan Gingold2020-07-251-0/+1
| | | | Fix ghdl/ghdl-yosys-plugin#128
* synth: improve support of true dual port rams. For #1069Tristan Gingold2020-05-311-1/+1
|
* netlists-inference: minor refactoring.Tristan Gingold2020-05-311-79/+64
|
* netlists-inference: add comments, reorder subprograms.Tristan Gingold2020-05-311-70/+63
|
* synth: refine -dm debug option. Add -dm2Tristan Gingold2020-05-311-1/+1
|
* netlists: rework clock handling in memories.Tristan Gingold2020-05-291-17/+20
|
* netlists-inference: factorize code.Tristan Gingold2020-05-291-54/+45
|
* netlists-inference: Fix sequential assertions at init. Fix #1330Tristan Gingold2020-05-211-12/+17
|
* netlits: Use Remove_Instance instead of Free_Instance.Tristan Gingold2020-05-181-1/+1
|
* netlists-inference: avoid a crash for assertions in case statement. Fix #1317Tristan Gingold2020-05-171-4/+9
|
* synth-stmts: use pmux to implement case statements.Tristan Gingold2020-05-091-3/+7
|
* synth: add support for sequential assertions. Fix #1273Tristan Gingold2020-05-061-0/+151
|
* synth: add many calls to set_locationTristan Gingold2020-04-261-0/+5
|
* netlists-inference: adjust guard. Fix ghdl/ghdl-yosys-plugin#110Tristan Gingold2020-04-231-1/+9
|
* synth: extend purpose of -dm debug option.Tristan Gingold2020-04-221-0/+2
|
* netlists: infere tri gate.Tristan Gingold2020-04-221-0/+26
|
* synth: rework edge handling to properly support falling edge. Fix #1227Tristan Gingold2020-04-151-10/+9
|
* synth: do not try to do inference on unused nets. Fix #1225Tristan Gingold2020-04-141-1/+6
|
* netlists-infreence: simplify condition. Fix #1211Tristan Gingold2020-04-121-5/+2
|
* netlists-inference: refactoring for #1211Tristan Gingold2020-04-121-35/+51
|
* synth: handle reuse of inferred dff in the same process.Tristan Gingold2020-03-221-10/+37
| | | | Fix tgingold/ghdlsynth-beta#93
* synth: refactoring inference (WIP).Tristan Gingold2020-03-151-23/+18
|
* synthesis: handle initialized output ports.Tristan Gingold2020-03-071-6/+8
|
* netlists-inference: preliminary work to support else in synch code.Tristan Gingold2020-02-201-71/+153
|
* synth: add mdff.Tristan Gingold2020-02-171-10/+44
|
* netlists-inference: remove useless code.Tristan Gingold2020-02-161-10/+0
|
* synthesis: rework memory inference.Tristan Gingold2020-02-161-9/+10
|
* synth: rework (again) memory inference.Tristan Gingold2020-02-101-0/+694
Preliminary work to support multi-clock memories. Strengthen and fix fallout of Check_Connected. Rename synth.inference to netlists.inference.