aboutsummaryrefslogtreecommitdiffstats
path: root/backends
Commit message (Expand)AuthorAgeFilesLines
* xaiger: no longer use nonstandard even/odd to designate +ve/-ve polarityEddie Hung2020-05-141-16/+5
* abc9: not enough to techmap_fail on (* init=1 *), hide them using $__Eddie Hung2020-05-141-0/+1
* Revert "Merge pull request #1917 from YosysHQ/eddie/abc9_delay_check"Eddie Hung2020-05-141-4/+0
* xaiger: always sort input/output bits by port idEddie Hung2020-05-141-12/+10
* abc9: generate $abc9_holes design instead of <name>$holesEddie Hung2020-05-141-3/+9
* aiger/xaiger: use odd for negedge clk, even for posedgeEddie Hung2020-05-141-6/+10
* xaiger: update help textEddie Hung2020-05-141-4/+4
* xaiger: do not treat (* init=1'bx *) as 1'b0Eddie Hung2020-05-141-1/+1
* xaiger: when -dff use (* init *) for initial stateEddie Hung2020-05-141-3/+15
* abc9_ops: add 'dff' label for auto handling of (* abc9_flop *) boxesEddie Hung2020-05-141-8/+2
* xaiger: output $_DFF_[NP]_ with mergeability if -dff optionEddie Hung2020-05-141-42/+44
* Reorder cases to avoid fall-through warningXiretza2020-05-071-3/+3
* Add YS_FALLTHROUGH macro to mark case fall-throughXiretza2020-05-072-2/+8
* aiger: fixes for ports that have start_offset != 0Eddie Hung2020-05-022-9/+8
* cxxrtl: Round up constant widthDavid Shah2020-04-251-1/+1
* cxxrtl: use `cxxrtl_` prefix rather than `cxxrtl.`whitequark2020-04-241-45/+45
* cxxrtl: improve printing of narrow memories.whitequark2020-04-241-3/+4
* cxxrtl: fix handling of parametric modules with large parameters.whitequark2020-04-241-1/+1
* cxxrtl: keep the memory write queue sorted on insertion.Asu2020-04-221-3/+5
* Merge pull request #1979 from whitequark/cxxrtl-go-fasterClaire Wolf2020-04-222-184/+396
|\
| * cxxrtl: run edge detectors only once in eval().whitequark2020-04-221-6/+22
| * cxxrtl: add an unsupported knob for manipulating clock trees.whitequark2020-04-221-0/+18
| * cxxrtl: use log_id() where appropriate. NFC.whitequark2020-04-211-4/+4
| * cxxrtl: add (*cxxrtl.{comb,sync}*) annotations on black box outputs.whitequark2020-04-211-65/+186
| * cxxrtl: s/sync_{wire,type}/edge_{wire,type}/. NFC.whitequark2020-04-211-23/+23
| * cxxrtl: use one delta cycle for immediately converging netlists.whitequark2020-04-212-11/+21
| * cxxrtl: add -O6, a shortcut for running `proc; flatten`.whitequark2020-04-211-4/+14
| * cxxrtl: unbuffer module input wires.whitequark2020-04-211-31/+61
| * cxxrtl: simplify generated edge detection logic.whitequark2020-04-211-56/+29
| * cxxrtl: localize wires with multiple comb drivers, too.whitequark2020-04-211-32/+31
| * cxxrtl: detect buffered comb wires, not just feedback wires.whitequark2020-04-211-5/+40
* | write_json: dump default parameter valuesMarcelina Koƛcielnicka2020-04-211-0/+10
* | ilang, ast: Store parameter order and default value information.Marcelina Koƛcielnicka2020-04-211-2/+10
* | Merge pull request #1971 from YosysHQ/claire/edifkeepClaire Wolf2020-04-211-14/+108
|\ \ | |/ |/|
| * Improve net priorities in EDIF back-endClaire Wolf2020-04-211-0/+64
| * Ignore conflicting keep attributes, unless asked not to. Fixes #1733Claire Wolf2020-04-201-14/+44
* | Merge pull request #1961 from whitequark/paramod-original-namewhitequark2020-04-211-11/+2
|\ \ | |/ |/|
| * ast, rpc: record original name of $paramod\* as \hdlname attribute.whitequark2020-04-181-11/+2
* | cxxrtl: provide attributes to black box factories, too.whitequark2020-04-192-49/+57
* | cxxrtl: add templated black box support.whitequark2020-04-181-16/+193
* | cxxrtl: make eval() and commit() inline in blackboxes.whitequark2020-04-181-82/+103
* | cxxrtl: add simple black box support.whitequark2020-04-182-70/+311
* | cxxrtl: use ID::X instead of ID(X). NFC.whitequark2020-04-181-107/+107
* | cxxrtl: correctly handle `sync always` rules.whitequark2020-04-171-3/+13
|/
* Merge pull request #1947 from whitequark/cxxrtl-usabilitywhitequark2020-04-162-10/+19
|\
| * cxxrtl: make ROMs writable, document memory::operator[].whitequark2020-04-162-4/+6
| * cxxrtl: fix misleading example, caution about race conditions.whitequark2020-04-161-4/+13
| * cxxrtl: remove inaccurate comment. NFC.whitequark2020-04-161-2/+0
* | Merge pull request #1797 from epfl-vlsc/firrtl_backend_fileinfoClaire Wolf2020-04-161-29/+51
|\ \ | |/ |/|
| * Fix indentationSahand Kashani2020-04-091-3/+3