I am a Staff Engineer at ARM working on formal verification methodologies and workflows for hardware designs.
Arm is where I began my career as a Graduate Engineer. Over the years I have been involved in multiple projects including:
Applying end-to-end formal verification of the ISA on the Cortex-M33 processor.
Involved in designing the specification language used for Arm's architecture specifications.
Developing Arm's internal tool for compiling and transpiling Arm architecture specifications.
Creating standardized workflows for applying formal verification across the company.
Creating common workflows for automatically generating verification collateral directly from architecture specifications, used for both formal and simulation.
Attained a MEng in Electronic Engineering