mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-14 12:58:45 +00:00
Code Activity

Update todo for more features to verificsva.cc

Browse source 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2018-03-16 15:48:48 +01:00
parent 38596ce68f
commit e7862d4f64
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
frontends/verific/verificsva.cc
View file

@ -27,7 +27,7 @@
// [antecedent_condition] always.. property // [antecedent_condition] always.. property
// [antecedent_condition] eventually.. basic_property // [antecedent_condition] eventually.. basic_property
// [antecedent_condition] property until.. expression // [antecedent_condition] property until.. expression
// [antecedent_condition] basic_property until.. basic_property // [antecedent_condition] basic_property until.. basic_property (assert/assume only)
// //
// antecedent_condition: // antecedent_condition:
// sequence |-> // sequence |->