ARM6
ISAARM6 is supported in the supplied evidence primarily as the subject of Anthony C. J. Fox’s 2003 paper “Formal specification and verification of arm6.” Later microprocessor test-generation literature cites that work as one of the rare examples of formal models of complete processors and as the closest related processor-model work for that paper’s approach.
First seen 5/26/2026
Last seen 5/26/2026
Evidence 2 chunks
Wiki v2
WIKI
Overview
ARM6 is identified in the supplied evidence through a bibliographic reference to Anthony C. J. Fox’s paper “Formal specification and verification of arm6,” published in the TPHOLs proceedings, Lecture Notes in Computer Science volume 2758, pages 25–40, by Springer in 2003. [C1]
Formal specification and verification
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
2 connectionsThe paper mentions ARM6 as related work with a formal processor model.
Fox provides a formal specification and verification of the ARM6 processor.
CITATIONS
3 sources3 citations — click to collapse
[1] Anthony C. J. Fox published “Formal specification and verification of arm6” in TPHOLs, LNCS volume 2758, pages 25–40, Springer, 2003. Test Program Generation for a Microprocessor: A Case Study
[2] The later test-program-generation case study says complete-processor formal models and end-to-end verification approaches were rare and lists Fox’s work among notable exceptions. Test Program Generation for a Microprocessor: A Case Study
[3] The same case study identifies Fox’s work as the closest related work with respect to the processor model and says its approach should be directly applicable to it. Test Program Generation for a Microprocessor: A Case Study