mirror of https://github.com/YosysHQ/yosys.git
23 lines
339 B
Plaintext
23 lines
339 B
Plaintext
read_verilog port_sign_extend.v
|
|
hierarchy
|
|
flatten
|
|
equiv_make ref act equiv
|
|
equiv_simple
|
|
equiv_status -assert
|
|
|
|
delete
|
|
|
|
read_verilog port_sign_extend.v
|
|
flatten
|
|
equiv_make ref act equiv
|
|
equiv_simple
|
|
equiv_status -assert
|
|
|
|
delete
|
|
|
|
read_verilog port_sign_extend.v
|
|
hierarchy
|
|
equiv_make ref act equiv
|
|
prep -flatten -top equiv
|
|
equiv_status -assert
|