This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Matthew Naylor
A grouping.
Matthew Naylor, Cambridge: the test-harness side of the CHERI work -- a synthesisable generic test bench in 2015, randomised instruction testing in 2024 -- plus the 2025 abstracting paper. Four records.
4 references
Abstracting the Classic Five-Stage Pipeline
Matthew Naylor (2025) · University of Cambridge
Randomized Testing of RISC-V CPUs Using Direct Instruction Injection
Alexandre Joannou and others (2024) · IEEE Design and Test
Rigorous Engineering for Hardware Security: Formal Modelling and Proof in the CHERI Design and Implementation Process
Kyndylan Nienhuis and others (2020) · 2020 IEEE Symposium on Security and Privacy (SP)
A Generic Synthesisable Test Bench
Matthew Naylor and others (2015) · 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)