aboutsummaryrefslogtreecommitdiffstats
path: root/backends
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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
| * Remove dependency on ilang backend since we no longer use itSahand Kashani2020-04-081-1/+0
| * Merge branch 'master' of github.com:YosysHQ/yosys into firrtl_backend_fileinfoSahand Kashani2020-04-0814-1131/+1243
| |\
| * | Remove unnecessary pruning of double-quotingSahand Kashani2020-04-081-5/+0
| * | Remove use of auto for simple types + simplify src attribute computationSahand Kashani2020-03-241-10/+5
| * | Refactor to directly call ILANG_BACKEND::dump_const() + directly lookup src a...Sahand Kashani2020-03-241-68/+15
| * | Indentation conventionsSahand Kashani2020-03-231-5/+6
| * | Const parameter in function (backends/firrtl/firrtl.cc)Sahand Kashani-Akhavan2020-03-231-1/+1
| * | Strip quotes around fileinfo stringsSahand Kashani2020-03-211-1/+5
| * | Add fileinfo to firrtl backend for assignments and non-instance cellsSahand Kashani2020-03-211-21/+30
| * | Refactor fileinfo emission characters to single locationSahand Kashani2020-03-201-6/+8
| * | Add fileinfo to firrtl backend for instancesSahand Kashani2020-03-191-2/+3
| * | Add fileinfo to firrtl backend for modules and wiresSahand Kashani2020-03-191-12/+20
| * | Add fileinfo to firrtl backend for top-level circuitSahand Kashani2020-03-191-1/+62
* | | Merge pull request #1830 from boqwxp/qbfsatN. Engelhardt2020-04-151-3/+15
|\ \ \
| * | | Updated `yosys-smtbmc` to optionally dump raw bit strings, and fixed hole val...Alberto Gonzalez2020-04-041-3/+15
* | | | json: Update format documentation.Marcelina Koƛcielnicka2020-04-151-12/+32
* | | | cxxrtl: Fix handling of unclocked memory read portsDavid Shah2020-04-141-2/+3
* | | | Merge pull request #1922 from whitequark/write_cxxrtl-disconnected-outputswhitequark2020-04-141-0/+2
|\ \ \ \
| * | | | write_cxxrtl: ignore disconnected module ports.whitequark2020-04-141-0/+2
* | | | | Merge pull request #1921 from whitequark/write_cxxrtl-separate-compilationwhitequark2020-04-142-10/+82
|\ \ \ \ \
| * | | | | write_verilog: fix precondition check.whitequark2020-04-141-1/+1
| * | | | | write_cxxrtl: enable separate compilation.whitequark2020-04-141-9/+81
| |/ / / /
* / / / / xaiger: add check for $__ABC9_DELAY modelEddie Hung2020-04-131-0/+4
|/ / / /
* | | | Support custom PROGRAM_PREFIXMiodrag Milanovic2020-04-102-9/+8
* | | | write_cxxrtl: add basic documentation.whitequark2020-04-091-1/+16
* | | | write_cxxrtl: add support for $dlatch and $dlatchsr cells.whitequark2020-04-091-3/+16
* | | | write_cxxrtl: add support for $sr cell.whitequark2020-04-091-27/+35
* | | | write_cxxrtl: add support for $slice and $concat cells.whitequark2020-04-091-1/+16
* | | | write_cxxrtl: improve writable memory handling.whitequark2020-04-092-65/+87