diff options
Diffstat (limited to 'src/synth/netlists-utils.ads')
-rw-r--r-- | src/synth/netlists-utils.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/synth/netlists-utils.ads b/src/synth/netlists-utils.ads index e8565c823..67a06cecd 100644 --- a/src/synth/netlists-utils.ads +++ b/src/synth/netlists-utils.ads @@ -45,6 +45,12 @@ package Netlists.Utils is function Is_Const_Module (Id : Module_Id) return Boolean; function Is_Const_Net (N : Net) return Boolean; + -- Assuming than N is a const net, return the value (for small values). + function Get_Net_Uns64 (N : Net) return Uns64; + + function Get_Net_Int64 (N : Net) return Int64; + pragma Inline (Get_Net_Int64); + -- Return True iff O has at least one sink (ie is connected to at least one -- input). function Is_Connected (O : Net) return Boolean; |