Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Regenerate ghdlsynth_gates.h | Tristan Gingold | 2019-10-18 | 1 | -0/+5 |
| | |||||
* | synth: regenerate ghdlsynth_gates.h | Tristan Gingold | 2019-10-03 | 1 | -1/+1 |
| | |||||
* | synth: replace memidx2 by addidx; handle some 2d arrays. | Tristan Gingold | 2019-10-03 | 1 | -1/+1 |
| | |||||
* | netlists: add memidx1 and memidx2 gates. | Tristan Gingold | 2019-10-02 | 1 | -4/+6 |
| | |||||
* | Regenerate ghdlsynth_gates.h | Tristan Gingold | 2019-10-02 | 1 | -19/+24 |
| | |||||
* | synth: Regenerate ghdlsynth_gates.h | Tristan Gingold | 2019-09-23 | 1 | -25/+26 |
| | |||||
* | synth: Add support for PSL cover directive (#930) | T. Meissner | 2019-09-19 | 1 | -0/+1 |
| | | | | | | * synth: Add support for PSL cover directive * testsuite/synth: Add tests for PSL cover directives | ||||
* | synth: handle unsigned shift left. | Tristan Gingold | 2019-09-11 | 1 | -50/+52 |
| | |||||
* | synth: add const_sb32, add smul/umul. | Tristan Gingold | 2019-09-07 | 1 | -2/+3 |
| | |||||
* | synth: remove unused const gates. | Tristan Gingold | 2019-08-30 | 1 | -6/+3 |
| | |||||
* | synth: regenerate ghdlsynth_gates.h | Tristan Gingold | 2019-07-31 | 1 | -3/+4 |
| | |||||
* | add port width utility function for yosys (#876) | Pepijn de Vos | 2019-07-21 | 1 | -0/+3 |
| | |||||
* | synth: add > and >= operators (#870) | Pepijn de Vos | 2019-07-16 | 1 | -23/+24 |
| | | | | | | * synth: add > and >= operators * synth: update ghdlsynth_gates.h | ||||
* | netlists: add assume gate. | Tristan Gingold | 2019-07-04 | 1 | -0/+1 |
| | |||||
* | synth: handle concurrent assertions. | Tristan Gingold | 2019-07-02 | 1 | -0/+1 |
| | |||||
* | ghdlsynth_gates.h: rebuild. | Tristan Gingold | 2019-07-02 | 1 | -29/+33 |
| | |||||
* | Add netlist generation infrastructure. | Tristan Gingold | 2017-01-31 | 1 | -0/+60 |