SVIncCompil/Testcases/YosysTests/misc/scripts/setparam.ys - third_party/Surelog - Git at Google

 read_verilog ../top.v
 proc
 tee -o result.log setparam