read_verilog -sv size_cast.sv proc opt -full select -module top sat -verify -prove-asserts -show-all link rel='shortcut icon' href='/favicon.ico'/>
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15