addrmap MAX32650_Timer {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="Counter";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Change, Provider.";
                sw = rw;
            } CNT_count[31:0];
    } Counter @ 0x0;
    reg {
        name="Compare";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Change, Provider.";
                sw = rw;
            } CMP_compare[31:0];
    } Compare @ 0x4;
    reg {
        name="PWM";
        desc = "Could not determine register's width, guessed 8 bits.";
        regwidth=0x8;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[7:0];
    } PWM @ 0x8;
    reg {
        name="Interrupt";
        desc = "This register has the following custom Renode callbacks: Change";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = rw;
            } INT_irq[0:0];
    } Interrupt @ 0xc;
    reg {
        name="Control";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Change.";
                sw = rw;
            } CN_tmode[2:0];
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = rw;
            } CN_pres[5:3];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } CN_tpol[6:6];
            field {
                desc = "This field has the following custom Renode callbacks: Change, Provider.";
                sw = rw;
            } CN_ten[7:7];
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = rw;
            } CN_pres3[8:8];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } CN_pwmsync[9:9];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } CN_nolhpol[10:10];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } CN_nollpol[11:11];
            field {
                sw = rw;
                reset=1'b1;
            } CN_pwmckbd[12:12];
    } Control @ 0x10;
    reg {
        name="NonOverlappingCompare";
        desc = "Could not determine register's width, guessed 8 bits.";
        regwidth=0x8;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[7:0];
    } NonOverlappingCompare @ 0x14;
} Registers_addrmap;


};