Skip to content

Commit

Permalink
Verilog preprocessor: implement define parameters
Browse files Browse the repository at this point in the history
This implements Verilog 2001 preprocessor defines with parameters.
  • Loading branch information
kroening committed Sep 25, 2023
1 parent b58ecea commit 939dc0e
Show file tree
Hide file tree
Showing 4 changed files with 292 additions and 99 deletions.
19 changes: 19 additions & 0 deletions regression/verilog/preprocessor/define1.desc
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
CORE
define1.v
--preprocess
// Enable multi-line checking
activate-multi-line-match
`line 1 "define1.v" 0



value

value

x-y-z
x-y-value
^EXIT=0$
^SIGNAL=0$
--
^PREPROCESSING FAILED$
9 changes: 9 additions & 0 deletions regression/verilog/preprocessor/define1.v
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
`define basic
`basic
`define with_value value
`with_value
`define uses_previous `with_value
`uses_previous
`define with_parameter(a, b, c) a-b-c
`with_parameter(x, y, z)
`with_parameter(x, y, `with_value)
Loading

0 comments on commit 939dc0e

Please sign in to comment.