diff --git a/src/verilog.l b/src/verilog.l index fd8cea8cc..e0278970f 100644 --- a/src/verilog.l +++ b/src/verilog.l @@ -189,6 +189,20 @@ escid \\[^ \t\f\r\n]+ "$unsigned" {yylval.fileline = CRELINE(); return yD_UNSIGNED;} "$width" {yylval.fileline = CRELINE(); return yTIMINGSPEC;} "$write" {yylval.fileline = CRELINE(); return yD_WRITE;} + +"$displayb" {yyerrorf("Unsupported: Use $display with %%b format instead: %s",yytext);} +"$displayh" {yyerrorf("Unsupported: Use $display with %%x format instead: %s",yytext);} +"$displayo" {yyerrorf("Unsupported: Use $display with %%o format instead: %s",yytext);} +"$fdisplayb" {yyerrorf("Unsupported: Use $fdisplay with %%b format instead: %s",yytext);} +"$fdisplayh" {yyerrorf("Unsupported: Use $fdisplay with %%x format instead: %s",yytext);} +"$fdisplayo" {yyerrorf("Unsupported: Use $fdisplay with %%o format instead: %s",yytext);} +"$fwriteb" {yyerrorf("Unsupported: Use $fwrite with %%b format instead: %s",yytext);} +"$fwriteh" {yyerrorf("Unsupported: Use $fwrite with %%x format instead: %s",yytext);} +"$fwriteo" {yyerrorf("Unsupported: Use $fwrite with %%o format instead: %s",yytext);} +"$writeb" {yyerrorf("Unsupported: Use $write with %%b format instead: %s",yytext);} +"$writeh" {yyerrorf("Unsupported: Use $write with %%x format instead: %s",yytext);} +"$writeo" {yyerrorf("Unsupported: Use $write with %%o format instead: %s",yytext);} + "$"[a-zA-Z_$]+ {yyerrorf("Unsupported or unknown PLI call: %s",yytext);} /*PSL Implemented */