diff --git a/Changes b/Changes index 3ef0a0cd5..8a57e0fa4 100644 --- a/Changes +++ b/Changes @@ -19,7 +19,7 @@ Verilator 5.037 devel * Support SARIF JSON diagnostic output with `--diagnostics-sarif`. (#6017) * Support 1-bit params with -G and -pvalue (#6051) (#6082). [Paul Swirhun] * Support `$timeformat` with missing arguments (#6113). [Alex Solomatnikov] -* Support `specparam` (#5767). +* Support `specparam` (#5767) (#6142). * Support parameter forward types. * Support constant functions with left-hand-side concatenates. * Add PROCINITASSIGN on initial assignments to process variables (#2481). [Niraj Menon] diff --git a/src/V3ParseImp.cpp b/src/V3ParseImp.cpp index 9150910f4..36d25f859 100644 --- a/src/V3ParseImp.cpp +++ b/src/V3ParseImp.cpp @@ -691,7 +691,7 @@ void V3ParseImp::tokenPipelineSym() { if (token == yaID__LEX || token == yaID__CC || token == yaID__aTYPE) { importIfInStd(yylval.fl, *(yylval.strp)); if (token == yaID__LEX) { - if (VString::startsWith(*(yylval.strp), "PATHPULSE__024a")) { + if (VString::startsWith(*(yylval.strp), "PATHPULSE__024")) { token = yaID__PATHPULSE; } else { token = yaID__ETC; diff --git a/src/verilog.y b/src/verilog.y index 468036835..8de5f392e 100644 --- a/src/verilog.y +++ b/src/verilog.y @@ -5828,6 +5828,9 @@ specparam_assignment: // ==IEEE: specparam_assignment { $$ = VARDONEA($1, *$1, nullptr, $2); if ($4) $$->valuep($4); } // // IEEE: pulse_control_specparam + | idPathpulse sigAttrListE '=' '(' minTypMax ')' + { $$ = VARDONEA($1, *$1, nullptr, $2); + if ($5) $$->valuep($5); } | idPathpulse sigAttrListE '=' '(' minTypMax ',' minTypMax ')' { $$ = VARDONEA($1, *$1, nullptr, $2); if ($5) $$->valuep($5); }