From beadc8e7be3d5d58f6b76d405673642c58b23a30 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Wed, 30 Oct 2019 18:39:06 +0100 Subject: Add names for formal input gates/attributes. --- src/std_names.adb | 5 +++++ src/std_names.ads | 9 ++++++++- 2 files changed, 13 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/std_names.adb b/src/std_names.adb index d4722240c..aba33a9f6 100644 --- a/src/std_names.adb +++ b/src/std_names.adb @@ -654,6 +654,11 @@ package body Std_Names is Def ("ceil", Name_Ceil); Def ("log2", Name_Log2); + Def ("allconst", Name_Allconst); + Def ("allseq", Name_Allseq); + Def ("anyconst", Name_Anyconst); + Def ("anyseq", Name_Anyseq); + -- Verilog directives Def ("define", Name_Define); Def ("endif", Name_Endif); diff --git a/src/std_names.ads b/src/std_names.ads index 710c04814..4c560eac5 100644 --- a/src/std_names.ads +++ b/src/std_names.ads @@ -736,8 +736,15 @@ package Std_Names is Name_Log2 : constant Name_Id := Name_First_Ieee + 034; Name_Last_Ieee : constant Name_Id := Name_Log2; + Name_First_Synthesis : constant Name_Id := Name_Last_Ieee + 1; + Name_Allconst : constant Name_Id := Name_First_Synthesis + 000; + Name_Allseq : constant Name_Id := Name_First_Synthesis + 001; + Name_Anyconst : constant Name_Id := Name_First_Synthesis + 002; + Name_Anyseq : constant Name_Id := Name_First_Synthesis + 003; + Name_Last_Synthesis : constant Name_Id := Name_Anyseq; + -- Verilog Directives. - Name_First_Directive : constant Name_Id := Name_Last_Ieee + 1; + Name_First_Directive : constant Name_Id := Name_Last_Synthesis + 1; Name_Define : constant Name_Id := Name_First_Directive + 00; Name_Endif : constant Name_Id := Name_First_Directive + 01; Name_Ifdef : constant Name_Id := Name_First_Directive + 02; -- cgit v1.2.3