aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific/verific.cc
diff options
context:
space:
mode:
authorZachary Snow <zach@zachjs.com>2021-08-30 11:35:36 -0600
committerZachary Snow <zachary.j.snow@gmail.com>2021-08-30 15:19:21 -0600
commitf0a52e3dd275ee57a1b3ffd0a734b591bf21f668 (patch)
tree3c0c7883cf1e5045701ee5c739cfd6a6a6fbbc2c /frontends/verific/verific.cc
parent1dbf91a8ef3109d6573ae64fc3fd08aedc0a690d (diff)
downloadyosys-f0a52e3dd275ee57a1b3ffd0a734b591bf21f668.tar.gz
yosys-f0a52e3dd275ee57a1b3ffd0a734b591bf21f668.tar.bz2
yosys-f0a52e3dd275ee57a1b3ffd0a734b591bf21f668.zip
sv: support declaration in procedural for initialization
In line with other tools, this adds an extra wrapping block around such for loops to appropriately scope the variable.
Diffstat (limited to 'frontends/verific/verific.cc')
0 files changed, 0 insertions, 0 deletions