addrmap S32K3XX_SoftwareWatchdogTimer {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="Control";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Change, Provider.";
                sw = rw;
            } WatchdogEnable[0:0];
            field {
                desc = "The field is a Tag.";
                sw = rw;
                reset=1'b1;
            } DebugModeControl[1:1];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } StopModeControl[2:2];
            field {
                sw = rw;
            } SoftLock[4:4];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } HardLock[5:5];
            field {
                sw = rw;
            } InterruptThenResetRequest[6:6];
            field {
                sw = rw;
            } WindowMode[7:7];
            field {
                sw = rw;
                reset=1'b1;
            } ResetOnInvalidAccess[8:8];
            field {
                sw = rw;
            } ServiceMode[10:9];
            field {
                desc = "The field is a Tag.";
                sw = rw;
                reset=1'b1;
            } MAP7[24:24];
            field {
                desc = "The field is a Tag.";
                sw = rw;
                reset=1'b1;
            } MAP6[25:25];
            field {
                desc = "The field is a Tag.";
                sw = rw;
                reset=1'b1;
            } MAP5[26:26];
            field {
                desc = "The field is a Tag.";
                sw = rw;
                reset=1'b1;
            } MAP4[27:27];
            field {
                desc = "The field is a Tag.";
                sw = rw;
                reset=1'b1;
            } MAP3[28:28];
            field {
                desc = "The field is a Tag.";
                sw = rw;
                reset=1'b1;
            } MAP2[29:29];
            field {
                desc = "The field is a Tag.";
                sw = rw;
                reset=1'b1;
            } MAP1[30:30];
            field {
                desc = "The field is a Tag.";
                sw = rw;
                reset=1'b1;
            } MAP0[31:31];
    } Control @ 0x0;
    reg {
        name="Interrupt";
        desc = "This register has the following custom Renode callbacks: Change";
        regwidth=0x20;
            field {
                sw = wr;
                onwrite = woclr;
            } TimeoutInterruptFlag[0:0];
    } Interrupt @ 0x4;
    reg {
        name="Timeout";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
                reset=32'b1100100000;
            } WatchdogTimeout[31:0];
    } Timeout @ 0x8;
    reg {
        name="Window";
        regwidth=0x20;
            field {
                sw = rw;
            } WindowStartValue[31:0];
    } Window @ 0xc;
    reg {
        name="Service";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } WatchdogServiceCode[15:0];
    } Service @ 0x10;
    reg {
        name="CounterOutput";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Provider.";
                sw = r;
            } WatchdogCount[31:0];
    } CounterOutput @ 0x14;
    reg {
        name="ServiceKey";
        regwidth=0x20;
            field {
                sw = rw;
            } ServiceKey[15:0];
    } ServiceKey @ 0x18;
    reg {
        name="EventRequest";
        regwidth=0x20;
            field {
                sw = rw;
            } ResetRequestFlag[0:0];
    } EventRequest @ 0x1c;
} Registers_addrmap;


};