diff options
Diffstat (limited to 'src/synth/netlists-utils.ads')
| -rw-r--r-- | src/synth/netlists-utils.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/synth/netlists-utils.ads b/src/synth/netlists-utils.ads index 60b8b7a7a..cdf474da2 100644 --- a/src/synth/netlists-utils.ads +++ b/src/synth/netlists-utils.ads @@ -41,4 +41,10 @@ package Netlists.Utils is -- Disconnect input I. If the driver of I has no output(s) connected, -- disconnect and free it. procedure Disconnect_And_Free (I : Input); + + -- Unlink all free instances of M. + procedure Remove_Free_Instances (M : Module); + + -- Unlink all unused instances of M. + procedure Remove_Unused_Instances (M : Module); end Netlists.Utils; |