mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-09-26 19:31:31 +00:00
Code Activity

sv: fix size cast internal expression extension

Browse source
This commit is contained in:
Zachary Snow 2022-01-05 23:33:08 -07:00 • committed by Zachary Snow
parent 59a7150344
commit 828e85068f
4 changed files with 156 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
tests/verilog/size_cast.ys Normal file
View file

@ -0,0 +1,5 @@
read_verilog -sv size_cast.sv
proc
opt -full
select -module top
sat -verify -prove-asserts -show-all