addrmap MPFS_Watchdog {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="Refresh";
        desc = "This register has the following custom Renode callbacks: Write";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } REFRESH[31:0];
    } Refresh @ 0x0;
    reg {
        name="Control";
        desc = "This register has the following custom Renode callbacks: Write";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Change.";
                sw = rw;
            } INTEN_MSVP[0:0];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
                reset=1'b1;
            } INTEN_TRIG[1:1];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } INTEN_SLEEP[2:2];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } ACTIVE_SLEEP[3:3];
            field {
                sw = rw;
            } ENABLE_FORBIDDEN[4:4];
    } Control @ 0x4;
    reg {
        name="Status";
        desc = "This register has the following custom Renode callbacks: Write";
        regwidth=0x20;
            field {
                sw = rw;
                onwrite = woclr;
            } MVRP_TRIPPED[0:0];
            field {
                sw = rw;
                onwrite = woclr;
            } WDOG_TRIPPED[1:1];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } FORBIDDEN[2:2];
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } TRIGGERED[3:3];
            field {
                sw = r;
            } LOCKED[4:4];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } DEVRST[5:5];
    } Status @ 0x8;
    reg {
        name="Time";
        desc = "This register has the following custom Renode callbacks: Write";
        regwidth=0x20;
            field {
                sw = rw;
                reset=24'b111010100110000;
            } WDOGTIME[23:0];
    } Time @ 0xc;
    reg {
        name="MSVP";
        regwidth=0x20;
            field {
                sw = rw;
                reset=24'b11101010011000;
            } WDOGMVRP[23:0];
    } MSVP @ 0x10;
    reg {
        name="Trigger";
        regwidth=0x20;
            field {
                sw = rw;
                reset=12'b1111101000;
            } WDOGTRIG[11:0];
    } Trigger @ 0x14;
    reg {
        name="Force";
        desc = "This register has the following custom Renode callbacks: Write";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = w;
            } FORCE[15:0];
    } Force @ 0x18;
} Registers_addrmap;


};