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


            
            read_verilog -sv ../top.v

            
            proc

            
            design -save first

            
            tee -o result.log design -copy-from first -as top_2 top

            
            tee -o result.log design -copy-to first -as top_2 top
	read_verilog -sv ../top.v
	proc
	design -save first
	tee -o result.log design -copy-from first -as top_2 top
	tee -o result.log design -copy-to first -as top_2 top