aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/ghdlsynth_gates.h
Commit message (Collapse)AuthorAgeFilesLines
* Regenerate ghdlsynth_gates.hTristan Gingold2019-10-181-0/+5
|
* synth: regenerate ghdlsynth_gates.hTristan Gingold2019-10-031-1/+1
|
* synth: replace memidx2 by addidx; handle some 2d arrays.Tristan Gingold2019-10-031-1/+1
|
* netlists: add memidx1 and memidx2 gates.Tristan Gingold2019-10-021-4/+6
|
* Regenerate ghdlsynth_gates.hTristan Gingold2019-10-021-19/+24
|
* synth: Regenerate ghdlsynth_gates.hTristan Gingold2019-09-231-25/+26
|
* synth: Add support for PSL cover directive (#930)T. Meissner2019-09-191-0/+1
| | | | | | * synth: Add support for PSL cover directive * testsuite/synth: Add tests for PSL cover directives
* synth: handle unsigned shift left.Tristan Gingold2019-09-111-50/+52
|
* synth: add const_sb32, add smul/umul.Tristan Gingold2019-09-071-2/+3
|
* synth: remove unused const gates.Tristan Gingold2019-08-301-6/+3
|
* synth: regenerate ghdlsynth_gates.hTristan Gingold2019-07-311-3/+4
|
* add port width utility function for yosys (#876)Pepijn de Vos2019-07-211-0/+3
|
* synth: add > and >= operators (#870)Pepijn de Vos2019-07-161-23/+24
| | | | | | * synth: add > and >= operators * synth: update ghdlsynth_gates.h
* netlists: add assume gate.Tristan Gingold2019-07-041-0/+1
|
* synth: handle concurrent assertions.Tristan Gingold2019-07-021-0/+1
|
* ghdlsynth_gates.h: rebuild.Tristan Gingold2019-07-021-29/+33
|
* Add netlist generation infrastructure.Tristan Gingold2017-01-311-0/+60