addrmap OpenTitan_AonTimer {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="AlertTest";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = w;
            } fatal_fault[0:0];
    } AlertTest @ 0x0;
    reg {
        name="WakeupTimerControl";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = rw;
            } enable[0:0];
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } prescaler[12:1];
    } WakeupTimerControl @ 0x4;
    reg {
        name="WakeupTimerThreshold";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } threshold[31:0];
    } WakeupTimerThreshold @ 0x8;
    reg {
        name="WakeupTimerCount";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } count[31:0];
    } WakeupTimerCount @ 0xc;
    reg {
        name="WatchdogTimerWriteEnable";
        regwidth=0x20;
            field {
                sw = rw;
                onwrite = wzc;
                reset=1'b1;
            } regwen[0:0];
    } WatchdogTimerWriteEnable @ 0x10;
    reg {
        name="WatchdogTimerControl";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = rw;
            } enable[0:0];
            field {
                sw = rw;
            } pause_in_sleep[1:1];
    } WatchdogTimerControl @ 0x14;
    reg {
        name="WatchdogTimerBarkThreshold";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } threshold[31:0];
    } WatchdogTimerBarkThreshold @ 0x18;
    reg {
        name="WatchdogTimerBiteThreshold";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } threshold[31:0];
    } WatchdogTimerBiteThreshold @ 0x1c;
    reg {
        name="WatchdogTimerCount";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
            } count[31:0];
    } WatchdogTimerCount @ 0x20;
    reg {
        name="InterruptState";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
                onwrite = woclr;
            } wkup_timer_expired[0:0];
            field {
                desc = "This field has the following custom Renode callbacks: Write, Provider.";
                sw = rw;
                onwrite = woclr;
            } wdog_timer_bark[1:1];
    } InterruptState @ 0x24;
    reg {
        name="InterruptTest";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = w;
            } wkup_timer_expired[0:0];
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = w;
            } wdog_timer_bark[1:1];
    } InterruptTest @ 0x28;
    reg {
        name="WakeupRequestStatus";
        regwidth=0x20;
            field {
                sw = rw;
                onwrite = wzc;
            } cause[0:0];
    } WakeupRequestStatus @ 0x2c;
} Registers_addrmap;


};