read_verilog <<EOF
module top1;
(* foo *)
wire w;
endmodule
module top2;
(* bar *)
EOF
logger -expect log top1 1
select -list-mod a:foo %m