Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | synth: improve support of arrays or arrays. Fix #955 | Tristan Gingold | 2019-10-01 | 1 | -2/+2 |
| | |||||
* | synth: handle rotate. | Tristan Gingold | 2019-09-22 | 1 | -4/+4 |
| | |||||
* | synth: Add support for PSL cover directive (#930) | T. Meissner | 2019-09-19 | 1 | -0/+3 |
| | | | | | | * synth: Add support for PSL cover directive * testsuite/synth: Add tests for PSL cover directives | ||||
* | synth: add build2_const_vec | Tristan Gingold | 2019-09-15 | 1 | -0/+9 |
| | |||||
* | synth: handle unsigned shift left. | Tristan Gingold | 2019-09-11 | 1 | -0/+5 |
| | |||||
* | synth: add const_x gate. | Tristan Gingold | 2019-09-11 | 1 | -0/+3 |
| | |||||
* | synth: add const_sb32, add smul/umul. | Tristan Gingold | 2019-09-07 | 1 | -0/+9 |
| | |||||
* | synth: remove insert gate. | Tristan Gingold | 2019-08-31 | 1 | -3/+0 |
| | |||||
* | synth: improve synth_uresize. | Tristan Gingold | 2019-08-31 | 1 | -0/+4 |
| | |||||
* | synth: add support for record types. | Tristan Gingold | 2019-08-29 | 1 | -0/+5 |
| | | | | (WIP: need to fix regression of stmt01). | ||||
* | synth: set name to assert/assume gates. | Tristan Gingold | 2019-08-20 | 1 | -2/+4 |
| | |||||
* | synth: set location on assume/assert gates. | Tristan Gingold | 2019-08-20 | 1 | -2/+2 |
| | |||||
* | synth: add support for memories. | Tristan Gingold | 2019-07-29 | 1 | -0/+10 |
| | |||||
* | synth: rework names. | Tristan Gingold | 2019-07-22 | 1 | -1/+2 |
| | |||||
* | synth: add concatn gate | Tristan Gingold | 2019-07-19 | 1 | -0/+5 |
| | |||||
* | synth: add const_z gate. | Tristan Gingold | 2019-07-19 | 1 | -0/+5 |
| | |||||
* | synth: add Id_Port gate to improve display. | Tristan Gingold | 2019-07-10 | 1 | -0/+2 |
| | |||||
* | synth: handle simple user function calls. | Tristan Gingold | 2019-07-06 | 1 | -0/+2 |
| | |||||
* | netlists: allow to build idff without a connected D. | Tristan Gingold | 2019-07-04 | 1 | -0/+1 |
| | |||||
* | netlists: add reduce_or/reduce_and gates. | Tristan Gingold | 2019-07-04 | 1 | -0/+5 |
| | |||||
* | netlists: add assume gate. | Tristan Gingold | 2019-07-04 | 1 | -0/+2 |
| | |||||
* | synth: handle concurrent assertions. | Tristan Gingold | 2019-07-02 | 1 | -0/+3 |
| | |||||
* | synth: add dyn_insert module. | Tristan Gingold | 2019-07-01 | 1 | -2/+5 |
| | |||||
* | synth: add syn_extract for dynamic slices. | Tristan Gingold | 2019-06-28 | 1 | -1/+6 |
| | |||||
* | synth: add insert gate. | Tristan Gingold | 2019-06-24 | 1 | -0/+4 |
| | |||||
* | synth: use only one edge gate, make it fully abstract. Handle falling_edge. | Tristan Gingold | 2019-05-22 | 1 | -5/+2 |
| | |||||
* | synth: add adff, iadff. | Tristan Gingold | 2019-04-16 | 1 | -0/+9 |
| | |||||
* | Add netlist generation infrastructure. | Tristan Gingold | 2017-01-31 | 1 | -0/+120 |