5 research outputs found

    Formal Verification of Backward Compatibility of Microcode

    No full text
    Microcode is used to facilitate new technologies in Intel CPU designs. A critica
    corecore