diff options
Diffstat (limited to 'src/synth/netlists-utils.ads')
| -rw-r--r-- | src/synth/netlists-utils.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/synth/netlists-utils.ads b/src/synth/netlists-utils.ads index 111c6f9f3..c7a76a502 100644 --- a/src/synth/netlists-utils.ads +++ b/src/synth/netlists-utils.ads @@ -90,6 +90,10 @@ package Netlists.Utils is -- selection of the same net. function Same_Net (L, R : Net) return Boolean; + -- Like Same_Net but for a clock. L and R must be both the output of + -- an edge detector. + function Same_Clock (L, R : Net) return Boolean; + -- If N is the output of a signal or isignal, return the driver of the -- input. function Skip_Signal (N : Net) return Net; |