しかしVerilog。