def METHOD_NAME():
    class TestFLog(m.Circuit):
        io = m.IO(I=m.In(m.Bit), O=m.Out(m.Bit)) + m.ClockIO(has_enable=True)
        ff = m.Register(m.Bit, has_enable=True)(name="ff")
        io.O @= ff(io.I)
        with m.File("test_flog.log", "a") as log_file:
            m.log.debug("ff.O=%d, ff.I=%d", ff.O, ff.I.value(), file=log_file)\
                .when(m.posedge(io.CLK))\
                .if_(io.CE)
            m.log.info("ff.O=%d, ff.I=%d", ff.O, ff.I.value(), file=log_file)\
                .when(m.posedge(io.CLK))\
                .if_(io.CE)
            m.log.warning("ff.O=%d, ff.I=%d", ff.O, ff.I.value(), file=log_file)\
                .when(m.posedge(io.CLK))\
                .if_(io.CE)
            m.log.error("ff.O=%d, ff.I=%d", ff.O, ff.I.value(), file=log_file)\
                .when(m.posedge(io.CLK))\
                .if_(io.CE)
    m.compile("build/TestFLog", TestFLog, output="mlir-verilog")
    assert m.testing.check_files_equal(
        __file__,
        f"build/TestFLog.v",
        f"gold/TestFLog.v"
    )
    assert not os.system(
        "cd tests/test_verilog/build "
        "&& verilator --lint-only TestFLog.v --top-module TestFLog"
    )
    tester = fault.SynchronousTester(TestFLog, TestFLog.CLK)
    tester.poke(TestFLog.CE, 1)
    tester.poke(TestFLog.I, 1)
    tester.expect(TestFLog.O, 0)
    tester.advance_cycle()
    tester.poke(TestFLog.I, 0)
    tester.expect(TestFLog.O, 1)
    tester.advance_cycle()
    tester.expect(TestFLog.O, 0)
    tester.poke(TestFLog.CE, 0)
    tester.poke(TestFLog.I, 1)
    tester.advance_cycle()
    tester.expect(TestFLog.O, 0)
    tester.poke(TestFLog.I, 1)
    tester.advance_cycle()
    tester.expect(TestFLog.O, 0)
    tester.poke(TestFLog.CE, 1)
    tester.advance_cycle()
    tester.expect(TestFLog.O, 1)
    tester.advance_cycle()
    directory = f"{os.path.abspath(os.path.dirname(__file__))}/build/"
    tester.compile_and_run(
        target="verilator", directory=directory,
        flags=['-Wno-unused'], skip_compile=True,
        disp_type="realtime"
    )
    # Expect no "DEBUG".
    with open(os.path.join(directory, "test_flog.log"), "r") as f:
        assert f"""\