luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix `specparam` PATHPULSE broken recent commit (#6142).

This commit is contained in:
Wilson Snyder 2025-06-30 18:33:50 -04:00
parent db854fc3d2
commit d455ec6229
3 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Changes
View File

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

2
src/V3ParseImp.cpp
View File

@ -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;

3
src/verilog.y
View File

@ -5828,6 +5828,9 @@ specparam_assignment<varp>: // ==IEEE: specparam_assignment
{ $$ = VARDONEA($<fl>1, *$1, nullptr, $2);
if ($4) $$->valuep($4); }
// // IEEE: pulse_control_specparam
| idPathpulse sigAttrListE '=' '(' minTypMax ')'
{ $$ = VARDONEA($<fl>1, *$1, nullptr, $2);
if ($5) $$->valuep($5); }
| idPathpulse sigAttrListE '=' '(' minTypMax ',' minTypMax ')'
{ $$ = VARDONEA($<fl>1, *$1, nullptr, $2);
if ($5) $$->valuep($5); }