aboutsummaryrefslogtreecommitdiffstats
path: root/frontends
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-07-02 12:35:45 -0700
committerEddie Hung <eddie@fpgeh.com>2019-07-02 12:35:45 -0700
commit35fd9b04731d3bc944e1471b96668ef0cf7b51f1 (patch)
treec92e962f36702b99f1934999d9656bb9a7c1a1b2 /frontends
parent69f4c039ce615c6a6c788e7b0da53e37467d32f6 (diff)
parent8455d1f4ffb942c802b65e20748e54a123e08df0 (diff)
downloadyosys-35fd9b04731d3bc944e1471b96668ef0cf7b51f1.tar.gz
yosys-35fd9b04731d3bc944e1471b96668ef0cf7b51f1.tar.bz2
yosys-35fd9b04731d3bc944e1471b96668ef0cf7b51f1.zip
Merge remote-tracking branch 'origin/master' into xaig_dff
Diffstat (limited to 'frontends')
-rw-r--r--frontends/verilog/verilog_lexer.l2
1 files changed, 2 insertions, 0 deletions
diff --git a/frontends/verilog/verilog_lexer.l b/frontends/verilog/verilog_lexer.l
index d3fd91473..951d9c66f 100644
--- a/frontends/verilog/verilog_lexer.l
+++ b/frontends/verilog/verilog_lexer.l
@@ -193,6 +193,8 @@ YOSYS_NAMESPACE_END
to fix parsing of cells otherwise. (the current cell parser forces a reduce very early to update some
global state.. its a mess) */
[a-zA-Z_$][a-zA-Z0-9_$]*/[ \t\r\n]*:[ \t\r\n]*(assert|assume|cover|restrict)[^a-zA-Z0-9_$\.] {
+ if (!strcmp(yytext, "default"))
+ return TOK_DEFAULT;
frontend_verilog_yylval.string = new std::string(std::string("\\") + yytext);
return TOK_SVA_LABEL;
}