aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/netlists-builders.adb
Commit message (Expand)AuthorAgeFilesLines
* synth: remove bounds (unused) for ports.Tristan Gingold2019-07-221-4/+2
* synth: rework names.Tristan Gingold2019-07-221-2/+3
* synth: add concatn gateTristan Gingold2019-07-191-0/+24
* synth: add const_z gate.Tristan Gingold2019-07-191-2/+21
* synth: add > and >= operators (#870)Pepijn de Vos2019-07-161-0/+5
* synth: add Id_Port gate to improve display.Tristan Gingold2019-07-101-3/+21
* netlists: export new_internal_name.Tristan Gingold2019-07-041-4/+10
* netlists: allow to build idff without a connected D.Tristan Gingold2019-07-041-3/+5
* netlists: add reduce_or/reduce_and gates.Tristan Gingold2019-07-041-0/+16
* netlists: add assume gate.Tristan Gingold2019-07-041-3/+22
* synth: handle concurrent assertions.Tristan Gingold2019-07-021-0/+21
* synth: fix Idff; fix 'edge and enable'.Tristan Gingold2019-07-021-1/+1
* synth: add dyn_insert module.Tristan Gingold2019-07-011-4/+47
* netlists: fix pasto in builders.Tristan Gingold2019-07-011-1/+1
* synth: add types_utils package.Tristan Gingold2019-07-011-0/+1
* synth: add ule, fix gate number.Tristan Gingold2019-06-301-0/+5
* synth: add syn_extract for dynamic slices.Tristan Gingold2019-06-281-3/+46
* synth: add insert gate.Tristan Gingold2019-06-241-0/+38
* synth: handle ult comparison.Tristan Gingold2019-06-231-0/+3
* synth: added support for numeric_std unary negationChristos Gentsos2019-06-061-0/+2
* synth: use only one edge gate, make it fully abstract. Handle falling_edge.Tristan Gingold2019-05-221-15/+5
* synth: add adff, iadff.Tristan Gingold2019-04-161-0/+65
* synth: support nand, nor, xnor.Tristan Gingold2017-02-261-0/+7
* Add netlist generation infrastructure.Tristan Gingold2017-01-311-0/+649