Mario1159/verilator
1
0
Fork 0
forked from github/verilator
Code Pull Requests Releases 1 Activity

Parse cycle delays and boolean abbrev, still unsupported.

Browse Source
This commit is contained in:
Wilson Snyder 2023-03-05 23:22:41 -05:00
parent d0f5ce0cc4
commit 6d7c04a3de
4 changed files with 263 additions and 74 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/verilog.l
View File

@ -885,8 +885,9 @@ vnum {vnum1}|{vnum2}|{vnum3}|{vnum4}|{vnum5}
"|=>" { FL; return yP_OREQGT; } "|=>" { FL; return yP_OREQGT; }
/* Some simulators allow whitespace here. Grr */ /* Some simulators allow whitespace here. Grr */
"["{ws}*"*" { FL; return yP_BRASTAR; } "["{ws}*"*" { FL; return yP_BRASTAR; }
"["{ws}*"=" { FL; return yP_BRAEQ; } "["{ws}*"+"{ws}*"]" { FL; return yP_BRAPLUSKET; }
"["{ws}*"->" { FL; return yP_BRAMINUSGT; } "["{ws}*"->" { FL; return yP_BRAMINUSGT; }
"["{ws}*"=" { FL; return yP_BRAEQ; }
} }
/* SystemVerilog 2009 Operators */ /* SystemVerilog 2009 Operators */

118
src/verilog.y
View File

@ -1030,7 +1030,7 @@ BISONPRE_VERSION(3.7,%define api.header.include {"V3ParseBison.h"})
%token<fl> yP_BRASTAR "[*" %token<fl> yP_BRASTAR "[*"
%token<fl> yP_BRAEQ "[=" %token<fl> yP_BRAEQ "[="
%token<fl> yP_BRAMINUSGT "[->" %token<fl> yP_BRAMINUSGT "[->"
//UNSUP %token<fl> yP_BRAPLUSKET "[+]" %token<fl> yP_BRAPLUSKET "[+]"
%token<fl> yP_PLUSPLUS "++" %token<fl> yP_PLUSPLUS "++"
%token<fl> yP_MINUSMINUS "--" %token<fl> yP_MINUSMINUS "--"
@ -1079,9 +1079,9 @@ BISONPRE_VERSION(3.7,%define api.header.include {"V3ParseBison.h"})
%left yINTERSECT %left yINTERSECT
%left yWITHIN %left yWITHIN
%right yTHROUGHOUT %right yTHROUGHOUT
//UNSUP %left prPOUNDPOUND_MULTI %left prPOUNDPOUND_MULTI
//UNSUP %left yP_POUNDPOUND %left yP_POUNDPOUND
//UNSUP %left yP_BRASTAR yP_BRAEQ yP_BRAMINUSGT yP_BRAPLUSKET %left yP_BRASTAR yP_BRAEQ yP_BRAMINUSGT yP_BRAPLUSKET
// Not specified, but needed higher than yOR, lower than normal non-pexpr expressions // Not specified, but needed higher than yOR, lower than normal non-pexpr expressions
//UNSUP %left yPOSEDGE yNEGEDGE yEDGE //UNSUP %left yPOSEDGE yNEGEDGE yEDGE
@ -5823,12 +5823,12 @@ property_port_list<nodep>: // ==IEEE: property_port_list
; ;
property_port_item<nodep>: // IEEE: property_port_item/sequence_port_item property_port_item<nodep>: // IEEE: property_port_item/sequence_port_item
//UNSUP // // Merged in sequence_port_item // // Merged in sequence_port_item
//UNSUP // // IEEE: property_lvar_port_direction ::= yINPUT // // IEEE: property_lvar_port_direction ::= yINPUT
//UNSUP // // prop IEEE: [ yLOCAL [ yINPUT ] ] property_formal_type // // prop IEEE: [ yLOCAL [ yINPUT ] ] property_formal_type
//UNSUP // // id {variable_dimension} [ '=' property_actual_arg ] // // id {variable_dimension} [ '=' property_actual_arg ]
//UNSUP // // seq IEEE: [ yLOCAL [ sequence_lvar_port_direction ] ] sequence_formal_type // // seq IEEE: [ yLOCAL [ sequence_lvar_port_direction ] ] sequence_formal_type
//UNSUP // // id {variable_dimension} [ '=' sequence_actual_arg ] // // id {variable_dimension} [ '=' sequence_actual_arg ]
property_port_itemFront property_port_itemAssignment { $$ = $2; } property_port_itemFront property_port_itemAssignment { $$ = $2; }
; ;
@ -6087,13 +6087,16 @@ sexpr<nodeExprp>: // ==IEEE: sequence_expr (The name sexpr is important as reg
// // IEEE: "cycle_delay_range sequence_expr { cycle_delay_range sequence_expr }" // // IEEE: "cycle_delay_range sequence_expr { cycle_delay_range sequence_expr }"
// // IEEE: "sequence_expr cycle_delay_range sequence_expr { cycle_delay_range sequence_expr }" // // IEEE: "sequence_expr cycle_delay_range sequence_expr { cycle_delay_range sequence_expr }"
// // Both rules basically mean we can repeat sequences, so make it simpler: // // Both rules basically mean we can repeat sequences, so make it simpler:
//UNSUP cycle_delay_range sexpr %prec yP_POUNDPOUND { } cycle_delay_range sexpr %prec yP_POUNDPOUND
//UNSUP ~p~sexpr cycle_delay_range sexpr %prec prPOUNDPOUND_MULTI { } { $$ = $2; BBUNSUP($2->fileline(), "Unsupported: ## (in sequence expression)"); }
| ~p~sexpr cycle_delay_range sexpr %prec prPOUNDPOUND_MULTI
{ $$ = $1; BBUNSUP($2->fileline(), "Unsupported: ## (in sequence expression)"); }
// //
// // IEEE: expression_or_dist [ boolean_abbrev ] // // IEEE: expression_or_dist [ boolean_abbrev ]
// // Note expression_or_dist includes "expr"! // // Note expression_or_dist includes "expr"!
// // sexpr/*sexpression_or_dist*/ --- Hardcoded below // // sexpr/*sexpression_or_dist*/ --- Hardcoded below
//UNSUP ~p~sexpr/*sexpression_or_dist*/ boolean_abbrev { } | ~p~sexpr/*sexpression_or_dist*/ boolean_abbrev
{ $$ = $1; BBUNSUP($2->fileline(), "Unsupported: boolean abbrev (in sequence expression)"); }
// //
// // IEEE: "sequence_instance [ sequence_abbrev ]" // // IEEE: "sequence_instance [ sequence_abbrev ]"
// // version without sequence_abbrev looks just like normal function call // // version without sequence_abbrev looks just like normal function call
@ -6105,7 +6108,7 @@ sexpr<nodeExprp>: // ==IEEE: sequence_expr (The name sexpr is important as reg
// // As sequence_expr includes expression_or_dist, and boolean_abbrev includes sequence_abbrev: // // As sequence_expr includes expression_or_dist, and boolean_abbrev includes sequence_abbrev:
// // '(' sequence_expr {',' sequence_match_item } ')' [ boolean_abbrev ] // // '(' sequence_expr {',' sequence_match_item } ')' [ boolean_abbrev ]
// // "'(' sexpr ')' boolean_abbrev" matches "[sexpr:'(' expr ')'] boolean_abbrev" so we can drop it // // "'(' sexpr ')' boolean_abbrev" matches "[sexpr:'(' expr ')'] boolean_abbrev" so we can drop it
'(' ~p~sexpr ')' { $$ = $2; } | '(' ~p~sexpr ')' { $$ = $2; }
//UNSUP '(' ~p~sexpr ',' sequence_match_itemList ')' { } //UNSUP '(' ~p~sexpr ',' sequence_match_itemList ')' { }
// //
// // AND/OR are between pexprs OR sexprs // // AND/OR are between pexprs OR sexprs
@ -6134,20 +6137,32 @@ sexpr<nodeExprp>: // ==IEEE: sequence_expr (The name sexpr is important as reg
| BISONPRE_COPY_ONCE(expr,{s/~l~/s/g; s/~p~/s/g; s/~noPar__IGNORE~'.'/yP_PAR__IGNORE /g; }) // {copied} | BISONPRE_COPY_ONCE(expr,{s/~l~/s/g; s/~p~/s/g; s/~noPar__IGNORE~'.'/yP_PAR__IGNORE /g; }) // {copied}
; ;
//UNSUPcycle_delay_range<nodep>: // IEEE: ==cycle_delay_range cycle_delay_range<nodep>: // IEEE: ==cycle_delay_range
//UNSUP // // These three terms in 1800-2005 ONLY // // These three terms in 1800-2005 ONLY
//UNSUP yP_POUNDPOUND yaINTNUM { } yP_POUNDPOUND intnumAsConst
//UNSUP | yP_POUNDPOUND id { } { $$ = $2;
//UNSUP | yP_POUNDPOUND '(' constExpr ')' { } BBUNSUP($<fl>1, "Unsupported: ## () cycle delay range expression"); }
//UNSUP // // In 1800-2009 ONLY: | yP_POUNDPOUND id
//UNSUP // // IEEE: yP_POUNDPOUND constant_primary { $$ = new AstConst{$1, AstConst::BitFalse{}};
//UNSUP // // UNSUP: This causes a big grammer ambiguity BBUNSUP($<fl>1, "Unsupported: ## id cycle delay range expression"); }
//UNSUP // // as ()'s mismatch between primary and the following statement | yP_POUNDPOUND '(' constExpr ')'
//UNSUP // // the sv-ac committee has been asked to clarify (Mantis 1901) { $$ = $3;
//UNSUP | yP_POUNDPOUND anyrange { } BBUNSUP($<fl>1, "Unsupported: ## () cycle delay range expression"); }
//UNSUP | yP_POUNDPOUND yP_BRASTAR ']' { } // // In 1800-2009 ONLY:
//UNSUP | yP_POUNDPOUND yP_BRAPLUSKET { } // // IEEE: yP_POUNDPOUND constant_primary
//UNSUP ; // // UNSUP: This causes a big grammer ambiguity
// // as ()'s mismatch between primary and the following statement
// // the sv-ac committee has been asked to clarify (Mantis 1901)
| yP_POUNDPOUND anyrange
{ $$ = new AstConst{$1, AstConst::BitFalse{}};
BBUNSUP($<fl>1, "Unsupported: ## range cycle delay range expression"); }
| yP_POUNDPOUND yP_BRASTAR ']'
{ $$ = new AstConst{$1, AstConst::BitFalse{}};
BBUNSUP($<fl>1, "Unsupported: ## [*] cycle delay range expression"); }
| yP_POUNDPOUND yP_BRAPLUSKET
{ $$ = new AstConst{$1, AstConst::BitFalse{}};
BBUNSUP($<fl>1, "Unsupported: ## [+] cycle delay range expression"); }
;
//UNSUPsequence_match_itemList<nodep>: // IEEE: [sequence_match_item] part of sequence_expr //UNSUPsequence_match_itemList<nodep>: // IEEE: [sequence_match_item] part of sequence_expr
//UNSUP sequence_match_item { $$ = $1; } //UNSUP sequence_match_item { $$ = $1; }
@ -6162,30 +6177,29 @@ sexpr<nodeExprp>: // ==IEEE: sequence_expr (The name sexpr is important as reg
//UNSUP for_step_assignment { $$ = $1; } //UNSUP for_step_assignment { $$ = $1; }
//UNSUP ; //UNSUP ;
//UNSUPboolean_abbrev<nodep>: // ==IEEE: boolean_abbrev boolean_abbrev<nodeExprp>: // ==IEEE: boolean_abbrev
//UNSUP // // IEEE: consecutive_repetition // // IEEE: consecutive_repetition
//UNSUP yP_BRASTAR const_or_range_expression ']' { } yP_BRASTAR constExpr ']' { }
//UNSUP | yP_BRASTAR ']' { } { $$ = $2; BBUNSUP($<fl>1, "Unsupported: [*] boolean abbrev expression"); }
//UNSUP | yP_BRAPLUSKET { $$ = $1; } | yP_BRASTAR constExpr ':' constExpr ']' { }
//UNSUP // // IEEE: non_consecutive_repetition { $$ = $2; BBUNSUP($<fl>1, "Unsupported: [*] boolean abbrev expression"); }
//UNSUP | yP_BRAEQ const_or_range_expression ']' { } | yP_BRASTAR ']'
//UNSUP // // IEEE: goto_repetition { $$ = new AstConst{$1, AstConst::BitFalse{}};
//UNSUP | yP_BRAMINUSGT const_or_range_expression ']' { } BBUNSUP($<fl>1, "Unsupported: [*] boolean abbrev expression"); }
//UNSUP ; | yP_BRAPLUSKET
{ $$ = new AstConst{$1, AstConst::BitFalse{}};
//UNSUPconst_or_range_expression<nodep>: // ==IEEE: const_or_range_expression BBUNSUP($<fl>1, "Unsupported: [+] boolean abbrev expression"); }
//UNSUP constExpr { $$ = $1; } // // IEEE: non_consecutive_repetition
//UNSUP | cycle_delay_const_range_expression { } // Use anyrange removing [] instead | yP_BRAEQ constExpr ']'
//UNSUP ; { $$ = $2; BBUNSUP($<fl>1, "Unsupported: [= boolean abbrev expression"); }
| yP_BRAEQ constExpr ':' constExpr ']'
//UNSUPconstant_range<nodep>: // ==IEEE: constant_range { $$ = $2; BBUNSUP($<fl>1, "Unsupported: [= boolean abbrev expression"); }
//UNSUP constExpr ':' constExpr { } // // IEEE: goto_repetition
//UNSUP ; | yP_BRAMINUSGT constExpr ']'
{ $$ = $2; BBUNSUP($<fl>1, "Unsupported: [-> boolean abbrev expression"); }
//UNSUPcycle_delay_const_range_expression<nodep>: // ==IEEE: cycle_delay_const_range_expression | yP_BRAMINUSGT constExpr ':' constExpr ']'
//UNSUP // // Note '$' is part of constExpr { $$ = $2; BBUNSUP($<fl>1, "Unsupported: [-> boolean abbrev expression"); }
//UNSUP constExpr ':' constExpr { } ;
//UNSUP ;
//************************************************ //************************************************
// Let // Let

154
test_regress/t/t_sequence_sexpr_unsup.out
View File

@ -1,32 +1,144 @@
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:25:14: Unsupported: within (in sequence expression) %Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:27:14: Unsupported: within (in sequence expression)
25 | weak(a within(b)); 27 | weak(a within(b));
| ^~~~~~ | ^~~~~~
... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest ... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:25:11: Unsupported: weak (in property expression) %Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:27:11: Unsupported: weak (in property expression)
25 | weak(a within(b)); 27 | weak(a within(b));
| ^ | ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:29:14: Unsupported: and (in sequence expression) %Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:31:14: Unsupported: and (in sequence expression)
29 | weak(a and b); 31 | weak(a and b);
| ^~~ | ^~~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:29:11: Unsupported: weak (in property expression) %Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:31:11: Unsupported: weak (in property expression)
29 | weak(a and b); 31 | weak(a and b);
| ^ | ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:33:14: Unsupported: or (in sequence expression) %Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:35:14: Unsupported: or (in sequence expression)
33 | weak(a or b); 35 | weak(a or b);
| ^~ | ^~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:33:11: Unsupported: weak (in property expression) %Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:35:11: Unsupported: weak (in property expression)
33 | weak(a or b); 35 | weak(a or b);
| ^ | ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:37:14: Unsupported: throughout (in sequence expression) %Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:39:14: Unsupported: throughout (in sequence expression)
37 | weak(a throughout b); 39 | weak(a throughout b);
| ^~~~~~~~~~ | ^~~~~~~~~~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:37:11: Unsupported: weak (in property expression) %Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:39:11: Unsupported: weak (in property expression)
37 | weak(a throughout b); 39 | weak(a throughout b);
| ^ | ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:41:14: Unsupported: intersect (in sequence expression) %Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:43:14: Unsupported: intersect (in sequence expression)
41 | weak(a intersect b); 43 | weak(a intersect b);
| ^~~~~~~~~ | ^~~~~~~~~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:41:11: Unsupported: weak (in property expression) %Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:43:11: Unsupported: weak (in property expression)
41 | weak(a intersect b); 43 | weak(a intersect b);
| ^ | ^
%Error: Exiting due to %Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:47:12: Unsupported: ## () cycle delay range expression
47 | weak(## 1 b);
| ^~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:47:17: Unsupported: ## (in sequence expression)
47 | weak(## 1 b);
| ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:47:11: Unsupported: weak (in property expression)
47 | weak(## 1 b);
| ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:50:12: Unsupported: ## id cycle delay range expression
50 | weak(## DELAY b);
| ^~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:50:21: Unsupported: ## (in sequence expression)
50 | weak(## DELAY b);
| ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:50:11: Unsupported: weak (in property expression)
50 | weak(## DELAY b);
| ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:53:12: Unsupported: ## () cycle delay range expression
53 | weak(## ( DELAY ) b);
| ^~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:53:25: Unsupported: ## (in sequence expression)
53 | weak(## ( DELAY ) b);
| ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:53:11: Unsupported: weak (in property expression)
53 | weak(## ( DELAY ) b);
| ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:56:12: Unsupported: ## range cycle delay range expression
56 | weak(## [1:2] b);
| ^~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:56:21: Unsupported: ## (in sequence expression)
56 | weak(## [1:2] b);
| ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:56:11: Unsupported: weak (in property expression)
56 | weak(## [1:2] b);
| ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:59:12: Unsupported: ## [*] cycle delay range expression
59 | weak(## [*] b);
| ^~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:59:19: Unsupported: ## (in sequence expression)
59 | weak(## [*] b);
| ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:59:11: Unsupported: weak (in property expression)
59 | weak(## [*] b);
| ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:62:12: Unsupported: ## [+] cycle delay range expression
62 | weak(## [+] b);
| ^~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:62:19: Unsupported: ## (in sequence expression)
62 | weak(## [+] b);
| ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:62:11: Unsupported: weak (in property expression)
62 | weak(## [+] b);
| ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:66:14: Unsupported: ## () cycle delay range expression
66 | weak(a ## 1 b);
| ^~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:66:17: Unsupported: ## (in sequence expression)
66 | weak(a ## 1 b);
| ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:66:11: Unsupported: weak (in property expression)
66 | weak(a ## 1 b);
| ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:69:14: Unsupported: ## id cycle delay range expression
69 | weak(a ## DELAY b);
| ^~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:69:14: Unsupported: ## (in sequence expression)
69 | weak(a ## DELAY b);
| ^~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:69:11: Unsupported: weak (in property expression)
69 | weak(a ## DELAY b);
| ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:72:14: Unsupported: ## () cycle delay range expression
72 | weak(a ## ( DELAY ) b);
| ^~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:72:19: Unsupported: ## (in sequence expression)
72 | weak(a ## ( DELAY ) b);
| ^~~~~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:72:11: Unsupported: weak (in property expression)
72 | weak(a ## ( DELAY ) b);
| ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:75:14: Unsupported: ## range cycle delay range expression
75 | weak(a ## [1:2] b);
| ^~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:75:14: Unsupported: ## (in sequence expression)
75 | weak(a ## [1:2] b);
| ^~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:75:11: Unsupported: weak (in property expression)
75 | weak(a ## [1:2] b);
| ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:78:14: Unsupported: ## [*] cycle delay range expression
78 | weak(a ## [*] b);
| ^~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:78:14: Unsupported: ## (in sequence expression)
78 | weak(a ## [*] b);
| ^~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:78:11: Unsupported: weak (in property expression)
78 | weak(a ## [*] b);
| ^
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:81:14: Unsupported: ## [+] cycle delay range expression
81 | weak(a ## [+] b);
| ^~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:81:14: Unsupported: ## (in sequence expression)
81 | weak(a ## [+] b);
| ^~
%Error-UNSUPPORTED: t/t_sequence_sexpr_unsup.v:81:11: Unsupported: weak (in property expression)
81 | weak(a ## [+] b);
| ^
%Error: t/t_sequence_sexpr_unsup.v:85:12: syntax error, unexpected [*, expecting TYPE-IDENTIFIER
85 | weak([* 1 ] a);
| ^~
%Error: Cannot continue
... See the manual at https://verilator.org/verilator_doc.html for more assistance.

62
test_regress/t/t_sequence_sexpr_unsup.v
View File

@ -14,6 +14,8 @@ module t (/*AUTOARG*/
int b; int b;
int cyc = 0; int cyc = 0;
localparam DELAY = 1;
always @(posedge clk) begin always @(posedge clk) begin
cyc <= cyc + 1; cyc <= cyc + 1;
end end
@ -41,6 +43,66 @@ module t (/*AUTOARG*/
weak(a intersect b); weak(a intersect b);
endproperty endproperty
property s_uni_cycdelay_int;
weak(## 1 b);
endproperty
property s_uni_cycdelay_id;
weak(## DELAY b);
endproperty
property s_uni_cycdelay_pid;
weak(## ( DELAY ) b);
endproperty
property s_uni_cycdelay_range;
weak(## [1:2] b);
endproperty
property s_uni_cycdelay_star;
weak(## [*] b);
endproperty
property s_uni_cycdelay_plus;
weak(## [+] b);
endproperty
property s_cycdelay_int;
weak(a ## 1 b);
endproperty
property s_cycdelay_id;
weak(a ## DELAY b);
endproperty
property s_cycdelay_pid;
weak(a ## ( DELAY ) b);
endproperty
property s_cycdelay_range;
weak(a ## [1:2] b);
endproperty
property s_cycdelay_star;
weak(a ## [*] b);
endproperty
property s_cycdelay_plus;
weak(a ## [+] b);
endproperty
property s_booleanabbrev_brastar_int;
weak([* 1 ] a);
endproperty
property s_booleanabbrev_brastar;
weak([*] a);
endproperty
property s_booleanabbrev_plus;
weak([+] a);
endproperty
property s_booleanabbrev_eq;
weak([= 1] a);
endproperty
property s_booleanabbrev_eq_range;
weak([= 1:2] a);
endproperty
property s_booleanabbrev_minusgt;
weak([-> 1] a);
endproperty
property s_booleanabbrev_minusgt_range;
weak([-> 1:2] a);
endproperty
always @(posedge clk) begin always @(posedge clk) begin
if (cyc == 10) begin if (cyc == 10) begin
$write("*-* All Finished *-*\n"); $write("*-* All Finished *-*\n");