aboutsummaryrefslogtreecommitdiffstats
path: root/backends
Commit message (Expand)AuthorAgeFilesLines
* 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
* | | | write_cxxrtl: add support for hierarchical designs.whitequark2020-04-091-18/+107
* | | | write_cxxrtl: avoid undefined behavior on out-of-bounds memory access.whitequark2020-04-092-46/+78
* | | | write_cxxrtl: statically schedule comb logic and localize wires.whitequark2020-04-092-68/+368
* | | | write_cxxrtl: elide wires for results of comb cells used once.whitequark2020-04-091-35/+359
* | | | write_cxxrtl: new backend.whitequark2020-04-093-0/+2010
| |_|/ |/| |
* | | kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-029-727/+727
* | | Update backends/btor/btor.cc; credit @boqwxpEddie Hung2020-04-021-2/+1
* | | kernel: use more ID::*Eddie Hung2020-04-0211-280/+280
* | | Merge pull request #1770 from YosysHQ/claire/btor_symbolsClaire Wolf2020-04-021-36/+60
|\ \ \
| * | | Improve write_btor symbol handlingClaire Wolf2020-03-141-36/+60
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-15 15:02:14 +0000