On the Correctness of an Optimising Assembler for the Intel MCS-51 Microprocessor
No abstract available.
DOI 10.1007/978-3-642-35308-6_7
Related papers
- Extending the C/C++ Memory Model with Inline Assembly OOPSLA 2024
- r3d3: Optimized Query Compilation on GPUs CGO 2021
- Decomposing the Proof of Correctness of pipelined Microprocessors CAV 1998
- Scalable and efficient implementation of 3d unstructured meshes computation: a case study on matrix assembly PPoPP 2015
- Mixed Choice in Asynchronous Multiparty Session Types OOPSLA 2026
- Exploiting superword level parallelism with multimedia instruction sets PLDI 2000
- Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis JFP 1996
- Balancing Automation and Control for Formal Verification of Microprocessors CAV 2021