Update to latest verific

[yosys.git] / kernel / constids.inc

diff --git a/kernel/constids.inc b/kernel/constids.inc
index 345bfaee87dcba12776208855ae82ef26d7d51d2..3c2ff9beb2057bb7ceebe7bccb1ebcf9d174b62a 100644 (file)
--- a/kernel/constids.inc
+++ b/kernel/constids.inc
@@ -79,6 +79,8 @@ X(equiv_merged)
 X(equiv_region)
 X(extract_order)
 X(F)
+X(force_downto)
+X(force_upto)
 X(fsm_encoding)
 X(fsm_export)
 X(FULL)
@@ -156,6 +158,9 @@ X(SRC_EN)
 X(SRC_PEN)
 X(SRC_POL)
 X(SRC_WIDTH)
+X(SRST)
+X(SRST_POLARITY)
+X(SRST_VALUE)
 X(STATE_BITS)
 X(STATE_NUM)
 X(STATE_NUM_LOG2)
@@ -167,8 +172,10 @@ X(T)
 X(TABLE)
 X(techmap_autopurge)
 X(_TECHMAP_BITS_CONNMAP_)
+X(_TECHMAP_CELLNAME_)
 X(_TECHMAP_CELLTYPE_)
 X(techmap_celltype)
+X(_TECHMAP_FAIL_)
 X(techmap_maccmap)
 X(_TECHMAP_REPLACE_)
 X(techmap_simplemap)