diff options
author | Zachary Snow <zach@zachjs.com> | 2021-08-30 11:35:36 -0600 |
---|---|---|
committer | Zachary Snow <zachary.j.snow@gmail.com> | 2021-08-30 15:19:21 -0600 |
commit | f0a52e3dd275ee57a1b3ffd0a734b591bf21f668 (patch) | |
tree | 3c0c7883cf1e5045701ee5c739cfd6a6a6fbbc2c /frontends/verific/verific.cc | |
parent | 1dbf91a8ef3109d6573ae64fc3fd08aedc0a690d (diff) | |
download | yosys-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