diff options
Diffstat (limited to 'src/synth/netlists-utils.ads')
| -rw-r--r-- | src/synth/netlists-utils.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/synth/netlists-utils.ads b/src/synth/netlists-utils.ads index 493e27e92..4a017ec3c 100644 --- a/src/synth/netlists-utils.ads +++ b/src/synth/netlists-utils.ads @@ -33,6 +33,9 @@ package Netlists.Utils is function Get_Input_Net (Inst : Instance; Idx : Port_Idx) return Net; + -- Return True iff ID describe a constant. + function Is_Const (Id : Module_Id) return Boolean; + -- Return True iff O has at least one sink (ie is connected to at least one -- input). function Is_Connected (O : Net) return Boolean; |