Update SVA cheat sheet in verificsva.cc

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc
index 70c28e38754620fe3b85fb2fbd9d1f2e0da258d4..7f09ccae4005437aebe69df933f4df13c1b64e14 100644 (file)
--- 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]