addrmap OpenTitan_SRAMController {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="AlertTest";
        regwidth=0x20;
            field {
                desc = "This field has the following custom Renode callbacks: Write.";
                sw = w;
            } FATAL_ERROR[0:0];
    } AlertTest @ 0x0;
    reg {
        name="Status";
        regwidth=0x20;
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } BUS_INTEG_ERROR[0:0];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } INIT_ERROR[1:1];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } ESCALATED[2:2];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } SCR_KEY_VALID[3:3];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } SCR_KEY_SEED_VALID[4:4];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } INIT_DONE[5:5];
    } Status @ 0x4;
    reg {
        name="ExecutionEnableWriteEnable";
        regwidth=0x20;
            field {
                desc = "The field is a Tag.";
                sw = rw;
                reset=1'b1;
            } EXEC_REGWEN[0:0];
    } ExecutionEnableWriteEnable @ 0x8;
    reg {
        name="ExecutionEnable";
        regwidth=0x20;
            field {
                desc = "The field is a Tag.";
                sw = rw;
                reset=4'b1001;
            } EN[3:0];
    } ExecutionEnable @ 0xc;
    reg {
        name="ControlWriteEnable";
        regwidth=0x20;
            field {
                desc = "The field is a Tag.";
                sw = rw;
                reset=1'b1;
            } CTRL_REGWEN[0:0];
    } ControlWriteEnable @ 0x10;
    reg {
        name="Control";
        regwidth=0x20;
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } RENEW_SCR_KEY[0:0];
            field {
                desc = "The field is a Tag.";
                sw = rw;
            } INIT[1:1];
    } Control @ 0x14;
} Registers_addrmap;


};