manual/PRESENTATION_ExOth/axis_test.ys - third_party/yosys - Git at Google


            
            read_verilog -sv axis_master.v axis_test.v

            
            hierarchy -top axis_test


            proc; flatten;;

            
            sat -falsify -seq 50 -prove-asserts
	read_verilog -sv axis_master.v axis_test.v
	hierarchy -top axis_test

	proc; flatten;;
	sat -falsify -seq 50 -prove-asserts