diff options
author | Tristan Gingold <tgingold@free.fr> | 2021-01-01 18:05:00 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2021-01-01 18:05:00 +0100 |
commit | e84f35edb1c36d07a15f8f15873b4990b55d9aaf (patch) | |
tree | 6476b548c6bf2311fa2b0a704196341e3ab90c54 /src/synth/netlists-utils.ads | |
parent | 28a81b3a60952607c03191b8f71e11588047c721 (diff) | |
download | ghdl-e84f35edb1c36d07a15f8f15873b4990b55d9aaf.tar.gz ghdl-e84f35edb1c36d07a15f8f15873b4990b55d9aaf.tar.bz2 ghdl-e84f35edb1c36d07a15f8f15873b4990b55d9aaf.zip |
netlists-inference: handle multiple dff with the same clock. Fix #1563
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; |