aboutsummaryrefslogtreecommitdiffstats
path: root/backends
Commit message (Expand)AuthorAgeFilesLines
* Split module ports, 20 per lineMiodrag Milanovic2021-10-091-0/+2
* Hook up $aldff support in various passes.Marcelina Kościelnicka2021-10-024-4/+19
* kernel/ff: Refactor FfData to enable FFs with async load.Marcelina Kościelnicka2021-10-021-43/+70
* Add optimization to rtlil back-end for all-x parameter valuesClaire Xenia Wolf2021-09-271-9/+13
* Fix protobuf backend build dependenciesthe6p4c2021-09-171-0/+2
* yosys-smtbmc: Fix reused loop variable.Marcelina Kościelnicka2021-09-101-4/+4
* kernel/mem: Introduce transparency masks.Marcelina Kościelnicka2021-08-112-27/+30
* backend/verilog: Add alternate mode for transparent read port output.Marcelina Kościelnicka2021-08-011-1/+71
* backends/verilog: Support meminit with mask.Marcelina Kościelnicka2021-07-281-3/+18
* Merge pull request #2885 from whitequark/cxxrtl-fix-2883whitequark2021-07-201-2/+8
|\
| * cxxrtl: treat wires with multiple defs as not inlinable.whitequark2021-07-201-2/+8
* | cxxrtl: treat assignable internal wires used only for debug as locals.whitequark2021-07-201-10/+12
|/
* cxxrtl: escape colon in variable names in VCD writer.whitequark2021-07-191-1/+14
* cxxrtl: add debug_item::{get,set}.whitequark2021-07-181-0/+16
* cxxrtl: treat internal wires used only for debug as constants.whitequark2021-07-171-0/+6
* Merge pull request #2874 from whitequark/cxxrtl-fix-2589whitequark2021-07-161-9/+6
|\
| * cxxrtl: run hierarchy pass regardless of (*top*) attribute presence.whitequark2021-07-161-9/+6
* | Merge pull request #2873 from whitequark/cxxrtl-fix-2500whitequark2021-07-161-3/+3
|\ \
| * | cxxrtl: emit debug items for unused public wires.whitequark2021-07-161-3/+3
| |/
* / cxxrtl: don't expect user cell inputs to be wires.whitequark2021-07-161-2/+2
|/
* cxxrtl: don't mark buffered internal wires as UNUSED for debug.whitequark2021-07-161-1/+1
* cxxrtl: mark dead local wires as unused even with inlining disabled.whitequark2021-07-151-4/+6
* kernel/mem: Add a coalesce_inits helper.Marcelina Kościelnicka2021-07-131-1/+5
* Add support for the Bitwuzla solverGCHQDeveloper5602021-07-121-5/+5
* cxxrtl: Support memory writes in processes.Marcelina Kościelnicka2021-07-121-6/+55
* cxxrtl: Add support for memory read port reset.Marcelina Kościelnicka2021-07-121-1/+41
* cxxrtl: Add support for mem read port initial data.Marcelina Kościelnicka2021-07-121-4/+22
* cxxrtl: Convert to Mem helpers.Marcelina Kościelnicka2021-07-121-206/+276
* Intersynth URLClaire Xenia Wolf2021-06-091-1/+1
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-0819-20/+20
* Make a few passes auto-call Mem::narrow instead of rejecting wide ports.Marcelina Kościelnicka2021-05-283-19/+6
* backends/verilog: Add support for memory read port reset and init value.Marcelina Kościelnicka2021-05-271-9/+81
* backends/verilog: Add wide port support.Marcelina Kościelnicka2021-05-271-43/+88
* backends/verilog: Try to preserve mem write port priorities.Marcelina Kościelnicka2021-05-261-32/+84
* Reject wide ports in some passes that will never support them.Marcelina Kościelnicka2021-05-253-2/+21
* backend/firrtl: Convert to use Mem helpers.Marcelina Kościelnicka2021-05-241-264/+88
* btor: Use is_mem_cell in one more place.Marcelina Kościelnicka2021-05-231-1/+1
* kernel/rtlil: Extract some helpers for checking memory cell types.Marcelina Kościelnicka2021-05-223-4/+4
* abc9: fix SCC issues (#2694)Eddie Hung2021-03-291-5/+4
* rtlil: Fix process memwr roundtrip.Marcelina Kościelnicka2021-03-231-1/+1
* json: Improve the "processes in module" message a bit.Marcelina Kościelnicka2021-03-231-1/+1
* json: Add support for memories.Marcelina Kościelnicka2021-03-151-0/+42
* Merge pull request #2642 from whitequark/cxxrtl-noproc-fixeswhitequark2021-03-111-17/+29
|\
| * cxxrtl: don't assert on edge sync rules tied to a constant.whitequark2021-03-071-0/+4
| * cxxrtl: allow `always` sync rules in debug_eval.whitequark2021-03-071-17/+25
* | Replace assert in xaiger with more useful error messageDan Ravensloft2021-03-101-1/+2
* | Add support for memory writes in processes.Marcelina Kościelnicka2021-03-081-3/+20
|/
* Merge pull request #2635 from whitequark/cxxrtl-memrd-async-addrwhitequark2021-03-051-1/+3
|\
| * cxxrtl: follow aliases to outlines when emitting $memrd.ADDR.whitequark2021-03-051-1/+3
* | Merge pull request #2634 from whitequark/cxxrtl-debug-wire-typeswhitequark2021-03-051-0/+46
|\ \
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 23:43:54 +0000