riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
yosys/kernel/constids.inc

277 lines
3.5 KiB
PHP
Raw Normal View History

kernel: Use constids.inc for global/constant IdStrings
2020-03-12 14:54:30 -05:00
X(A)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(abc9_box)
X(abc9_box_id)
X(abc9_box_seq)
abc9_ops: fix bypass boxes using (* abc9_bypass *)
2020-04-21 16:12:28 -05:00
X(abc9_bypass)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(abc9_carry)
X(abc9_flop)
abc9: use (* abc9_keep *) instead of (* abc9_scc *); apply to $_DFF_?_ instead of moving them to $__ prefix
2020-05-14 18:44:35 -05:00
X(abc9_keep)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(abc9_lut)
X(abc9_mergeability)
X(abc9_scc_id)
X(abcgroup)
X(ABITS)
Add $aldff and $aldffe: flip-flops with async load.
2021-09-30 21:33:00 -05:00
X(AD)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(ADDR)
kernel: Use constids.inc for global/constant IdStrings
2020-03-12 14:54:30 -05:00
X(allconst)
X(allseq)
Add $aldff and $aldffe: flip-flops with async load.
2021-09-30 21:33:00 -05:00
X(ALOAD)
X(ALOAD_POLARITY)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(always_comb)
X(always_ff)
X(always_latch)
kernel: Use constids.inc for global/constant IdStrings
2020-03-12 14:54:30 -05:00
X(anyconst)
X(anyseq)
ast: translate $display/$write tasks in always blocks to new $print cell.
2020-11-29 08:34:17 -06:00
X(ARGS)
X(ARGS_WIDTH)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(ARST)
X(ARST_POLARITY)
X(ARST_VALUE)
X(A_SIGNED)
X(A_WIDTH)
X(B)
X(BI)
Add memory_libmap pass.
2022-02-06 03:10:21 -06:00
X(BITS_USED)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(blackbox)
X(B_SIGNED)
bugpoint: (* keep *) to (* bugpoint_keep *); also apply to modules/cells
2020-04-24 15:26:04 -05:00
X(bugpoint_keep)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(B_WIDTH)
Add memory_libmap pass.
2022-02-06 03:10:21 -06:00
X(BYTE)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(C)
X(cells_not_processed)
Add v2 memory cells.
2021-05-27 13:54:29 -05:00
X(CE_OVER_SRST)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(CFG_ABITS)
X(CFG_DBITS)
X(CFG_INIT)
Improvements in "bufnorm" pass Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2023-09-29 00:04:22 -05:00
X(chain)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(CI)
X(CLK)
X(clkbuf_driver)
X(clkbuf_inhibit)
X(clkbuf_inv)
X(clkbuf_sink)
X(CLK_ENABLE)
X(CLK_POLARITY)
X(CLR)
X(CLR_POLARITY)
X(CO)
Add v2 memory cells.
2021-05-27 13:54:29 -05:00
X(COLLISION_X_MASK)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(CONFIG)
X(CONFIG_WIDTH)
X(CTRL_IN)
X(CTRL_IN_WIDTH)
X(CTRL_OUT)
X(CTRL_OUT_WIDTH)
X(D)
X(DAT)
X(DATA)
X(DAT_DST_PEN)
X(DAT_DST_POL)
kernel: Use constids.inc for global/constant IdStrings
2020-03-12 14:54:30 -05:00
X(defaultvalue)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(DELAY)
X(DEPTH)
X(DST)
X(DST_EN)
X(DST_PEN)
X(DST_POL)
X(DST_WIDTH)
X(dynports)
X(E)
X(EDGE_EN)
X(EDGE_POL)
X(EN)
X(EN_DST)
X(EN_POLARITY)
X(EN_SRC)
frontend: cleanup to use more ID::*, more dict<> instead of map<>
2020-05-04 12:48:37 -05:00
X(enum_base_type)
X(enum_type)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(equiv_merged)
X(equiv_region)
X(extract_order)
X(F)
Add new `$check` cell to represent assertions with a message.
2024-01-11 03:39:28 -06:00
X(FLAVOR)
ast: translate $display/$write tasks in always blocks to new $print cell.
2020-11-29 08:34:17 -06:00
X(FORMAT)
Add force_downto and force_upto wire attributes. Fixes #2058.
2020-05-18 11:15:03 -05:00
X(force_downto)
X(force_upto)
kernel: Use constids.inc for global/constant IdStrings
2020-03-12 14:54:30 -05:00
X(fsm_encoding)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(fsm_export)
X(FULL)
kernel: Use constids.inc for global/constant IdStrings
2020-03-12 14:54:30 -05:00
X(full_case)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(G)
kernel: Use constids.inc for global/constant IdStrings
2020-03-12 14:54:30 -05:00
X(gclk)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(gentb_clock)
X(gentb_constant)
X(gentb_skip)
X(H)
X(hdlname)
X(hierconn)
X(I)
X(INIT)
Add v2 memory cells.
2021-05-27 13:54:29 -05:00
X(INIT_VALUE)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(init)
kernel: Use constids.inc for global/constant IdStrings
2020-03-12 14:54:30 -05:00
X(initial_top)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(interface_modport)
X(interfaces_replaced_in_module)
X(interface_type)
X(invertible_pin)
X(iopad_external_pin)
kernel: Use constids.inc for global/constant IdStrings
2020-03-12 14:54:30 -05:00
X(is_interface)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(J)
X(K)
X(keep)
X(keep_hierarchy)
X(L)
X(lib_whitebox)
X(localparam)
Add memory_libmap pass.
2022-02-06 03:10:21 -06:00
X(logic_block)
X(lram)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(LUT)
X(lut_keep)
X(M)
X(maximize)
kernel: Use constids.inc for global/constant IdStrings
2020-03-12 14:54:30 -05:00
X(mem2reg)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(MEMID)
X(minimize)
X(module_not_derived)
X(N)
X(NAME)
kernel: Use constids.inc for global/constant IdStrings
2020-03-12 14:54:30 -05:00
X(noblackbox)
X(nolatches)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(nomem2init)
kernel: Use constids.inc for global/constant IdStrings
2020-03-12 14:54:30 -05:00
X(nomem2reg)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(nomeminit)
kernel: Use constids.inc for global/constant IdStrings
2020-03-12 14:54:30 -05:00
X(nosync)
Add "nowrshmsk" attribute, fix shift-and-mask bit slice write for signed offset, fixes #1990 Signed-off-by: Claire Wolf <claire@symbioticeda.com>
2020-04-27 10:04:47 -05:00
X(nowrshmsk)
memory_libmap: look for ram_style attributes on surrounding signals
2023-10-19 12:12:36 -05:00
X(no_ram)
memory_dff: Add support for no_rw_check attribute.
2022-06-02 04:47:29 -05:00
X(no_rw_check)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(O)
X(OFFSET)
X(onehot)
X(P)
kernel: Use constids.inc for global/constant IdStrings
2020-03-12 14:54:30 -05:00
X(parallel_case)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(parameter)
Add v2 memory cells.
2021-05-27 13:54:29 -05:00
X(PORTID)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(PRIORITY)
Add v2 memory cells.
2021-05-27 13:54:29 -05:00
X(PRIORITY_MASK)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(Q)
X(R)
Add memory_libmap pass.
2022-02-06 03:10:21 -06:00
X(ram_block)
X(ram_style)
X(ramstyle)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(RD_ADDR)
Add v2 memory cells.
2021-05-27 13:54:29 -05:00
X(RD_ARST)
X(RD_ARST_VALUE)
X(RD_CE_OVER_SRST)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(RD_CLK)
X(RD_CLK_ENABLE)
X(RD_CLK_POLARITY)
Add v2 memory cells.
2021-05-27 13:54:29 -05:00
X(RD_COLLISION_X_MASK)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(RD_DATA)
X(RD_EN)
Add v2 memory cells.
2021-05-27 13:54:29 -05:00
X(RD_INIT_VALUE)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(RD_PORTS)
Add v2 memory cells.
2021-05-27 13:54:29 -05:00
X(RD_SRST)
X(RD_SRST_VALUE)
X(RD_TRANSPARENCY_MASK)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(RD_TRANSPARENT)
Add v2 memory cells.
2021-05-27 13:54:29 -05:00
X(RD_WIDE_CONTINUATION)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(reg)
formalff: Set new replaced_by_gclk attribute on removed dff's clks This attribute can be used by formal backends to indicate which clocks were mapped to the global clock. Update the btor and smt2 backend which already handle clock inputs to understand this attribute.
2022-08-02 08:49:51 -05:00
X(replaced_by_gclk)
verilog: use derived module info to elaborate cell connections - Attempt to lookup a derived module if it potentially contains a port connection with elaboration ambiguities - Mark the cell if module has not yet been derived - This can be extended to implement automatic hierarchical port connections in a future change
2021-10-19 19:46:26 -05:00
X(reprocess_after)
Add memory_libmap pass.
2022-02-06 03:10:21 -06:00
X(rom_block)
X(rom_style)
X(romstyle)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(S)
X(SET)
X(SET_POLARITY)
X(SIZE)
X(SRC)
X(src)
X(SRC_DST_PEN)
X(SRC_DST_POL)
X(SRC_EN)
X(SRC_PEN)
X(SRC_POL)
X(SRC_WIDTH)
Add new builtin FF types The new types include: - FFs with async reset and enable (`$adffe`, `$_DFFE_[NP][NP][01][NP]_`) - FFs with sync reset (`$sdff`, `$_SDFF_[NP][NP][01]_`) - FFs with sync reset and enable, reset priority (`$sdffs`, `$_SDFFE_[NP][NP][01][NP]_`) - FFs with sync reset and enable, enable priority (`$sdffce`, `$_SDFFCE_[NP][NP][01][NP]_`) - FFs with async reset, set, and enable (`$dffsre`, `$_DFFSRE_[NP][NP][NP][NP]_`) - latches with reset or set (`$adlatch`, `$_DLATCH_[NP][NP][01]_`) The new FF types are not actually used anywhere yet (this is left for future commits).
2020-04-08 14:42:50 -05:00
X(SRST)
X(SRST_POLARITY)
X(SRST_VALUE)
sta: very crude static timing analysis pass Co-authored-by: Eddie Hung <eddie@fpgeh.com>
2021-11-24 15:21:08 -06:00
X(sta_arrival)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(STATE_BITS)
X(STATE_NUM)
X(STATE_NUM_LOG2)
X(STATE_RST)
X(STATE_TABLE)
smt2: Add smtlib2_comb_expr attribute to allow user-selected smtlib2 expressions
2022-06-03 00:37:29 -05:00
X(smtlib2_module)
X(smtlib2_comb_expr)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(submod)
Add memory_libmap pass.
2022-02-06 03:10:21 -06:00
X(syn_ramstyle)
X(syn_romstyle)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(S_WIDTH)
X(T)
X(TABLE)
Basic support for tag primitives
2023-06-07 03:20:16 -05:00
X(TAG)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(techmap_autopurge)
X(_TECHMAP_BITS_CONNMAP_)
techmap: Add _TECHMAP_CELLNAME_ special parameter. This parameter will resolve to the name of the cell being mapped. The first user of this parameter will be synth_intel_alm's Quartus output, which requires a unique (and preferably descriptive) name passed as a cell parameter for the memory cells.
2020-07-21 08:00:54 -05:00
X(_TECHMAP_CELLNAME_)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(_TECHMAP_CELLTYPE_)
X(techmap_celltype)
techmap: prefix special wires with backslash for use as IdString
2020-04-20 17:50:12 -05:00
X(_TECHMAP_FAIL_)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(techmap_maccmap)
X(_TECHMAP_REPLACE_)
X(techmap_simplemap)
X(_techmap_special_)
X(techmap_wrap)
techmap: Support dynamic cell types
2024-04-10 07:17:57 -05:00
X(_TECHMAP_PLACEHOLDER_)
X(techmap_chtype)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(T_FALL_MAX)
X(T_FALL_MIN)
X(T_FALL_TYP)
X(T_LIMIT)
X(T_LIMIT2)
X(T_LIMIT2_MAX)
X(T_LIMIT2_MIN)
X(T_LIMIT2_TYP)
X(T_LIMIT_MAX)
X(T_LIMIT_MIN)
X(T_LIMIT_TYP)
X(to_delete)
kernel: Use constids.inc for global/constant IdStrings
2020-03-12 14:54:30 -05:00
X(top)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(TRANS_NUM)
Add v2 memory cells.
2021-05-27 13:54:29 -05:00
X(TRANSPARENCY_MASK)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(TRANSPARENT)
X(TRANS_TABLE)
ast: translate $display/$write tasks in always blocks to new $print cell.
2020-11-29 08:34:17 -06:00
X(TRG)
X(TRG_ENABLE)
X(TRG_POLARITY)
X(TRG_WIDTH)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(T_RISE_MAX)
X(T_RISE_MIN)
X(T_RISE_TYP)
X(TYPE)
X(U)
X(unique)
X(unused_bits)
X(V)
frontend: cleanup to use more ID::*, more dict<> instead of map<>
2020-05-04 12:48:37 -05:00
X(via_celltype)
kernel: Use constids.inc for global/constant IdStrings
2020-03-12 14:54:30 -05:00
X(wand)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(whitebox)
X(WIDTH)
X(wildcard_port_conns)
verific: do not assert if wire not found; warn instead
2020-04-23 18:28:11 -05:00
X(wiretype)
kernel: Use constids.inc for global/constant IdStrings
2020-03-12 14:54:30 -05:00
X(wor)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(WORDS)
X(WR_ADDR)
X(WR_CLK)
X(WR_CLK_ENABLE)
X(WR_CLK_POLARITY)
X(WR_DATA)
X(WR_EN)
X(WR_PORTS)
Add v2 memory cells.
2021-05-27 13:54:29 -05:00
X(WR_PRIORITY_MASK)
X(WR_WIDE_CONTINUATION)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(X)
xprop, setundef: Mark xprop decoding bwmuxes, exclude them from setundef This adds the xprop_decoder attribute to bwmuxes that drive the original unencoded signals. Setundef is changed to ignore the x inputs of these bwmuxes, so that they survive the prep script of SBY's formal flow. This is required to make simulation (via sim) using the prep model show the decoded x signals instead of 0/1 values made up by the solver.
2022-12-21 07:24:10 -06:00
X(xprop_decoder)
kernel: big fat patch to use more ID::*, otherwise ID(*)
2020-04-02 11:51:32 -05:00
X(Y)
X(Y_WIDTH)