aboutsummaryrefslogtreecommitdiffstats
path: root/backends
Commit message (Expand)AuthorAgeFilesLines
* cxxrtl: speed up commits on clang.whitequark2020-12-211-3/+3
* cxxrtl: use `static inline` instead of `inline` in the C API.whitequark2020-12-201-1/+1
* cxxrtl: print names of cells inlined in connections.whitequark2020-12-151-1/+10
* cxxrtl: disable optimization of debug_items().whitequark2020-12-152-3/+15
* cxxrtl: make alias analysis outlining-aware.whitequark2020-12-151-38/+48
* cxxrtl: add a "bare minimum" debug information level.whitequark2020-12-141-9/+17
* cxxrtl: implement debug information outlining.whitequark2020-12-145-71/+278
* cxxrtl: rename "elision" to "inlining". NFC.whitequark2020-12-131-77/+77
* cxxrtl: fix outdated comment. NFC.whitequark2020-12-131-2/+2
* cxxrtl: use IdString::isPublic(). NFC.whitequark2020-12-131-4/+4
* cxxrtl: don't overwrite buffered inputs.whitequark2020-12-112-25/+33
* cxxrtl: allow customizing the root module path in the C API.whitequark2020-12-032-1/+20
* Merge pull request #2468 from whitequark/cxxrtl-assertwhitequark2020-12-022-2/+16
|\
| * cxxrtl: use CXXRTL_ASSERT for RTL contract violations instead of assert.whitequark2020-12-022-2/+16
* | Merge pull request #2469 from whitequark/cxxrtl-no-clkwhitequark2020-12-021-6/+14
|\ \
| * | cxxrtl: fix crashes caused by a floating or constant clock input.whitequark2020-12-021-6/+14
| |/
* / cxxrtl: provide a way to perform unobtrusive power-on reset.whitequark2020-12-024-3/+78
|/
* Add verilog backend option for simple_lhsMiodrag Milanovic2020-11-251-6/+22
* generate only simple assignments in verilog backendMiodrag Milanovic2020-11-251-5/+9
* Merge pull request #2295 from epfl-vlsc/firrtl_blackbox_generic_parametersMiodrag Milanović2020-11-241-58/+294
|\
| * Formatting fixesSahand Kashani2020-11-231-10/+7
| * Add support for real-valued parameters + preserve type of parametersSahand Kashani2020-08-061-38/+113
| * Add firrtl backend support for generic parameters in blackbox componentsSahand Kashani2020-07-231-58/+222
* | backends/blif: Remove unused vector of strings (#2420)William Woodruff2020-11-161-57/+53
* | cxxrtl: run `hierarchy -auto-top` if no top module is present.whitequark2020-11-021-7/+26
* | cxxrtl: don't assert on non-constant $meminit inputs.whitequark2020-11-011-2/+4
* | cxxrtl: don't assert on wires with multiple drivers.whitequark2020-11-011-0/+2
* | btor: Use Mem helper.Marcelina Kościelnicka2020-10-211-93/+102
* | smt2: Use Mem helper.Marcelina Kościelnicka2020-10-211-186/+244
* | verilog_backend: Use Mem helper.Marcelina Kościelnicka2020-10-211-274/+251
* | smtbmc: escape identifiers in verilog testbenchJakob Wenzel2020-10-061-11/+29
* | write_verilog: emit intermediate wire for constant values in sensitivity listN. Engelhardt2020-09-281-7/+53
* | Merge pull request #2372 from nakengelhardt/name_is_publicN. Engelhardt2020-09-214-8/+8
|\ \
| * | use the new isPublic() in a few placesN. Engelhardt2020-09-144-8/+8
* | | Merge pull request #2369 from Xiretza/gitignoresMiodrag Milanović2020-09-102-0/+2
|\ \ \ | |/ / |/| |
| * | Add missing gitignores for test artifactsXiretza2020-08-312-0/+2
* | | cxxrtl: expose driver kind in debug information.whitequark2020-09-023-12/+112
* | | cxxrtl: improve handling of FFs with async inputs (other than CLK).whitequark2020-09-021-22/+23
* | | cxxrtl: expose port direction in debug information.whitequark2020-09-023-5/+51
* | | cxxrtl: fix typo in comment. NFC.whitequark2020-09-021-1/+1
* | | cxxrtl: fix inaccuracy in CXXRTL_ALIAS documentation. NFC.whitequark2020-09-021-1/+1
|/ /
* | write_smt2: fix SMT-LIB tutorial URLwhitequark2020-08-291-1/+1
* | Replace "ILANG" with "RTLIL" everywhere.whitequark2020-08-265-34/+49
* | Ensure smt2 comments are associated with accessorsNoah Moroze2020-08-201-9/+20
* | Respect \A_SIGNED for $shiftXiretza2020-08-183-17/+23
* | cxxrtl.h: Fix incorrect CarryOut in alu()Andy Knowles2020-08-121-8/+3
* | cxxrtl.h: Fix incorrect CarryOut in alu when Bits % 32 != 0 && Invert == FalseAndy Knowles2020-08-121-2/+8
* | verilog_backend: Add handling for all FF types.Marcelina Kościelnicka2020-07-301-252/+134
|/
* smtio: Emit `mode: start` options before `set-logic` command and any other op...Alberto Gonzalez2020-07-201-1/+8
* smtio: Add support for parsing `yosys-smt2-solver-option` info statements.Alberto Gonzalez2020-07-201-3/+10