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


            
            read_verilog ../top.v

            
            proc

            
            tee -o result.log setattr -set u 1 top

            
            tee -o result.log setattr -unset u top

            
            tee -o result.log dump
	read_verilog ../top.v
	proc
	tee -o result.log setattr -set u 1 top
	tee -o result.log setattr -unset u top
	tee -o result.log dump