@manual{arm946es_trm,
    title        = {ARM946E-S Technical Reference Manual r1p1},
    year         = 2007,
    month        = apr,
    organization = {ARM Limited},
    eid          = {ARM DDI 0201D},
    edition      = {Revision D},
    url          = {https://developer.arm.com/documentation/ddi0201/d}
}