src/Testcases/YosysTests/simple/scripts/attrmap_modattr.ys - third_party/Surelog - Git at Google

 read_verilog ../top.v
 proc
 attrmap -modattr -tocase keep -imap keep="true" keep=1 -imap keep="false" keep=0 -remove keep=0 -rename keep keep_attr
 write_verilog synth.v
	read_verilog ../top.v
	proc
	attrmap -modattr -tocase keep -imap keep="true" keep=1 -imap keep="false" keep=0 -remove keep=0 -rename keep keep_attr
	write_verilog synth.v