diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-03-16 15:48:48 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-03-16 15:48:48 +0100 |
| commit | e7862d4f644d4fc6a97e9c66da431f7a22a0ceef (patch) | |
| tree | f0d72fc8c49576baa65f5f9277de913b067d6626 /frontends | |
| parent | 38596ce68f51b57ee0f1a51f2abc2b9d9011cf75 (diff) | |
| download | yosys-e7862d4f644d4fc6a97e9c66da431f7a22a0ceef.tar.gz yosys-e7862d4f644d4fc6a97e9c66da431f7a22a0ceef.tar.bz2 yosys-e7862d4f644d4fc6a97e9c66da431f7a22a0ceef.zip | |
Update todo for more features to verificsva.cc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/verific/verificsva.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc index f221dfcc2..c9c341516 100644 --- a/frontends/verific/verificsva.cc +++ b/frontends/verific/verificsva.cc @@ -27,7 +27,7 @@ // [antecedent_condition] always.. property // [antecedent_condition] eventually.. basic_property // [antecedent_condition] property until.. expression -// [antecedent_condition] basic_property until.. basic_property +// [antecedent_condition] basic_property until.. basic_property (assert/assume only) // // antecedent_condition: // sequence |-> @@ -38,8 +38,8 @@ // not basic_property // sequence #-# basic_property // sequence #=# basic_property -// basic_property or basic_property (cover only) -// basic_property and basic_property (assert/assume only) +// basic_property or basic_property (cover only) +// basic_property and basic_property (assert/assume only) // basic_property implies basic_property // basic_property iff basic_property // |