src/Testcases/YosysTests/misc/scripts/chformal_ff.ys - third_party/Surelog - Git at Google


            
            read_verilog -sv ../top.v

            
            proc

            
            clk2fflogic

            
            chformal -early

            
            tee -o result.log dump
	read_verilog -sv ../top.v
	proc
	clk2fflogic
	chformal -early
	tee -o result.log dump