logger -expect-no-warnings read_verilog -sv <