Symbolic Quick Error Detection by Semantically Equivalent Program Execution (SEPE-SQED): Enhancing Processor Verification with Program Synthesis
SEPE-SQED utilizes program synthesis techniques to find semantically equivalent instruction sequences to the original instructions, enabling the detection of both single-instruction and multiple-instruction bugs in processor designs.