diff options
| author | Zachary Snow <zach@zachjs.com> | 2022-01-05 23:33:08 -0700 |
|---|---|---|
| committer | Zachary Snow <zachary.j.snow@gmail.com> | 2022-01-07 21:21:02 -0700 |
| commit | 828e85068f8dd52a508e4cbb84deea0e621aa038 (patch) | |
| tree | 76b0563d045c07a894f3baa1454d256b0e895c6e /tests/verilog/size_cast.ys | |
| parent | 59a71503448401d2476cf0872808e0a99c3a4d81 (diff) | |
| download | yosys-828e85068f8dd52a508e4cbb84deea0e621aa038.tar.gz yosys-828e85068f8dd52a508e4cbb84deea0e621aa038.tar.bz2 yosys-828e85068f8dd52a508e4cbb84deea0e621aa038.zip | |
sv: fix size cast internal expression extension
Diffstat (limited to 'tests/verilog/size_cast.ys')
| -rw-r--r-- | tests/verilog/size_cast.ys | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/verilog/size_cast.ys b/tests/verilog/size_cast.ys new file mode 100644 index 000000000..6890cd2d5 --- /dev/null +++ b/tests/verilog/size_cast.ys @@ -0,0 +1,5 @@ +read_verilog -sv size_cast.sv +proc +opt -full +select -module top +sat -verify -prove-asserts -show-all |