Merge remote-tracking branch 'origin/master' into xaig

[yosys.git] / kernel / celltypes.h

diff --git a/kernel/celltypes.h b/kernel/celltypes.h
index 0da78c313e90defb9e3bc0db252aabf43c52c4d3..4e91edddac7c6d2911257692ed022e7df20e662a 100644 (file)
--- a/kernel/celltypes.h
+++ b/kernel/celltypes.h
@@ -85,6 +85,8 @@ struct CellTypes
                setup_internals_eval();
 
                IdString A = "\\A", B = "\\B", EN = "\\EN", Y = "\\Y";
+               IdString SRC = "\\SRC", DST = "\\DST", DAT = "\\DAT";
+               IdString EN_SRC = "\\EN_SRC", EN_DST = "\\EN_DST";
 
                setup_type("$tribuf", {A, EN}, {Y}, true);
 
@@ -99,6 +101,9 @@ struct CellTypes
                setup_type("$allconst", pool<RTLIL::IdString>(), {Y}, true);
                setup_type("$allseq", pool<RTLIL::IdString>(), {Y}, true);
                setup_type("$equiv", {A, B}, {Y}, true);
+               setup_type("$specify2", {EN, SRC, DST}, pool<RTLIL::IdString>(), true);
+               setup_type("$specify3", {EN, SRC, DST, DAT}, pool<RTLIL::IdString>(), true);
+               setup_type("$specrule", {EN_SRC, EN_DST, SRC, DST}, pool<RTLIL::IdString>(), true);
        }
 
        void setup_internals_eval()