Repository Issue Activity (beta)

#4977 yosys-abc: src/map/scl/sclLibUtil.c:77: void abc::Abc_SclHashCells(SC_Lib *): Assertion `*pPlace == -1' failed.

#6216 wit2yw throws away the per-step values of $anyseq, so BTOR counterexamples do not replay

#6215 `$(yosys-config --datdir)/plugins` does not give true module loading path

#6041 Over-width logical right shift followed by dynamic shift produces X

#6214 Dynamic right shift followed by logical-not is synthesized incorrectly

#6209 read_verilog: `` token pasting breaks when a macro argument is preceded by a newline or a comment

#6186 `synth_xilinx`: falling-edge BRAM port is unmappable on xc6v/xc7 when the other port needs `READ_FIRST`

#3697 Undef propagation in power operator

#4451 `count_id(cell->name) == 0` failure

#4349 "ERROR: Assert `count_id(wire->name) == 0' failed in kernel/rtlil.cc:2143" when using synth_{ice40,ecp5} on simple design

#2266 Canot reference items in instantiated module

#2212 Suggestions to Improve debug/visualisation in SMT2 backend for SBY

#6183 Name conflict when using labels inside generate blocks with read_verilog

#2261 proc_arst: Unclear error message when (re)set polarity and sensitivity list do not agree

#6198 proc_arst reports misleading "non-constant value 1'm" error for mismatched async-reset polarity

#2267 Error when installation directory contains spaces

#6195 opt_dff leaves conflicting init attributes on aliased DFF outputs

#6196 opt_dff → opt_clean cant work

#6199 Incorrect optimization of signed logical right shift when shift amount equals operand width

#6165 Fails to substitute module code for instance in particular situations

#6190 CXXRTL out-of-bounds memory read aborts at runtime

#2213 Removal of conditional code macro definitions for ABC/ABC9

#6189 opt_ffinv crashes with std::out_of_range when a multi-bit $not is connected to a 1-bit FF

#6157 Failed to rename *.scl.tmp to *.scl falling back to liberty format

#6002 Assertion in hierarchy when elaborating parameterized generate instances due to non-unique name