diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-10-21 20:31:47 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-10-21 20:31:47 +0200 |
commit | 642c8abe2155fad9ce0d5ba830d603270b24f55d (patch) | |
tree | ff2e02a09a15cf0ec0a44cd0642c189e9d506691 /src/synth/netlists-builders.ads | |
parent | 9c4519e0c72187f95b6a91e95564ee6a1f45efc7 (diff) | |
download | ghdl-642c8abe2155fad9ce0d5ba830d603270b24f55d.tar.gz ghdl-642c8abe2155fad9ce0d5ba830d603270b24f55d.tar.bz2 ghdl-642c8abe2155fad9ce0d5ba830d603270b24f55d.zip |
synth: generate cover for assertion precedent.
Diffstat (limited to 'src/synth/netlists-builders.ads')
-rw-r--r-- | src/synth/netlists-builders.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/synth/netlists-builders.ads b/src/synth/netlists-builders.ads index 4a76e5b52..2d177653b 100644 --- a/src/synth/netlists-builders.ads +++ b/src/synth/netlists-builders.ads @@ -168,6 +168,8 @@ package Netlists.Builders is return Instance; function Build_Cover (Ctxt : Context_Acc; Name : Sname; Cond : Net) return Instance; + function Build_Assert_Cover (Ctxt : Context_Acc; Name : Sname; Cond : Net) + return Instance; -- A simple flip-flop. function Build_Dff (Ctxt : Context_Acc; @@ -233,5 +235,6 @@ private M_Assert : Module; M_Assume : Module; M_Cover : Module; + M_Assert_Cover : Module; end record; end Netlists.Builders; |