From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 2 Mar 2018 15:05:56 +0000 (+0100)
Subject: Update SVA cheat sheet in verificsva.cc
X-Git-Tag: yosys-0.8~193
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ab791e61b300e15513f65a4a114deeb2e8f12669;p=yosys.git

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 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]