mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-26 18:45:34 +00:00
Added Verilog parser support for asserts
This commit is contained in:
parent
3d7a1491aa
commit
9a1eb45c75
4 changed files with 12 additions and 3 deletions
|
@ -113,6 +113,8 @@ namespace VERILOG_FRONTEND {
|
|||
"generate" { return TOK_GENERATE; }
|
||||
"endgenerate" { return TOK_ENDGENERATE; }
|
||||
|
||||
"assert"([ \t\r\n]+"property")? { return TOK_ASSERT; }
|
||||
|
||||
"input" { return TOK_INPUT; }
|
||||
"output" { return TOK_OUTPUT; }
|
||||
"inout" { return TOK_INOUT; }
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue