diff options
Diffstat (limited to 'src/synth/netlists-utils.ads')
| -rw-r--r-- | src/synth/netlists-utils.ads | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/synth/netlists-utils.ads b/src/synth/netlists-utils.ads index f8749749f..6a29e0034 100644 --- a/src/synth/netlists-utils.ads +++ b/src/synth/netlists-utils.ads @@ -53,12 +53,16 @@ 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). + -- Assuming that 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); + -- Assuming that N is a const net, return the value at offset OFF. + procedure Get_Net_Element + (N : Net; Off : Uns32; Va : out Uns32; Zx : out Uns32); + -- Return True iff O has at least one sink (ie is connected to at least one -- input). function Is_Connected (O : Net) return Boolean; |