yosys/tests/various/func_port_implied_dir.ys

7 lines
118 B
Plaintext
Raw Permalink Normal View History

read_verilog -sv func_port_implied_dir.sv
hierarchy
proc
equiv_make gold gate equiv
equiv_simple
equiv_status -assert