diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-03-02 16:05:56 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-03-02 16:05:56 +0100 |
| commit | ab791e61b300e15513f65a4a114deeb2e8f12669 (patch) | |
| tree | b4522a08d4f7a5feb9bd5a49d6203a1ad548c28f /frontends/verific | |
| parent | 4e5f1f59d66b96c5e0592e4f9810cca5d55c6894 (diff) | |
| download | yosys-ab791e61b300e15513f65a4a114deeb2e8f12669.tar.gz yosys-ab791e61b300e15513f65a4a114deeb2e8f12669.tar.bz2 yosys-ab791e61b300e15513f65a4a114deeb2e8f12669.zip | |
Update SVA cheat sheet in verificsva.cc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends/verific')
| -rw-r--r-- | frontends/verific/verificsva.cc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc index 70c28e387..7f09ccae4 100644 --- a/frontends/verific/verificsva.cc +++ b/frontends/verific/verificsva.cc @@ -26,6 +26,7 @@ // prop and prop // seq |=> prop // if (expr) prop [else prop] +// always prop // prop until prop // prop implies prop // prop iff prop @@ -34,7 +35,7 @@ // // seq: // expr -// expr ##[N:M] seq +// seq ##[N:M] seq // seq or seq // seq and seq // seq intersect seq @@ -51,10 +52,11 @@ // ##[N:M], [*N:M], [=N:M], [->N:M] includes ##N, [*N], [=N], [->N] // // Currently supported property styles: +// seq // not seq // seq |=> seq // seq |=> not seq -// seq |=> seq until seq +// seq |=> seq until seq.triggered // // Currently supported sequence operators: // ##[N:M] |