diff options
Diffstat (limited to 'src/synth/netlists-utils.ads')
| -rw-r--r-- | src/synth/netlists-utils.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/synth/netlists-utils.ads b/src/synth/netlists-utils.ads index 6a29e0034..79838b614 100644 --- a/src/synth/netlists-utils.ads +++ b/src/synth/netlists-utils.ads @@ -74,6 +74,11 @@ package Netlists.Utils is -- disconnect and free it. procedure Disconnect_And_Free (I : Input); + -- Return true IFF L and R is the same net. + -- Either because L = R (obvious case) or because both are the same + -- selection of the same net. + function Same_Net (L, R : Net) return Boolean; + function Clog2 (W : Width) return Width; -- Used at many places. |