diff options
Diffstat (limited to 'src/synth/netlists.adb')
| -rw-r--r-- | src/synth/netlists.adb | 19 |
1 files changed, 14 insertions, 5 deletions
diff --git a/src/synth/netlists.adb b/src/synth/netlists.adb index 72ceac948..1bde22ac6 100644 --- a/src/synth/netlists.adb +++ b/src/synth/netlists.adb @@ -19,6 +19,7 @@ -- MA 02110-1301, USA. with Netlists.Utils; use Netlists.Utils; +with Netlists.Gates; with Tables; package body Netlists is @@ -664,11 +665,19 @@ package body Netlists is function Get_Param_Desc (M : Module; Param : Param_Idx) return Param_Desc is + use Netlists.Gates; pragma Assert (Is_Valid (M)); - pragma Assert (Param < Get_Nbr_Params (M)); begin - return Param_Desc_Table.Table - (Modules_Table.Table (M).First_Param_Desc + Param_Desc_Idx (Param)); + case Get_Id (M) is + when Id_Const_Bit + | Id_Const_Log => + return (No_Sname, Param_Uns32); + when others => + pragma Assert (Param < Get_Nbr_Params (M)); + return Param_Desc_Table.Table + (Modules_Table.Table (M).First_Param_Desc + + Param_Desc_Idx (Param)); + end case; end Get_Param_Desc; function Get_Param_Idx (Inst : Instance; Param : Param_Idx) return Param_Idx @@ -683,7 +692,7 @@ package body Netlists is is pragma Assert (Is_Valid (Inst)); M : constant Module := Get_Module (Inst); - pragma Assert (Param < Get_Nbr_Params (M)); + pragma Assert (Param < Get_Nbr_Params (Inst)); pragma Assert (Get_Param_Desc (M, Param).Typ = Param_Uns32); begin return Params_Table.Table (Get_Param_Idx (Inst, Param)); @@ -693,7 +702,7 @@ package body Netlists is is pragma Assert (Is_Valid (Inst)); M : constant Module := Get_Module (Inst); - pragma Assert (Param < Get_Nbr_Params (M)); + pragma Assert (Param < Get_Nbr_Params (Inst)); pragma Assert (Get_Param_Desc (M, Param).Typ = Param_Uns32); begin Params_Table.Table (Get_Param_Idx (Inst, Param)) := Val; |