Conference:Verification Futures 2015 (click here to see full programme)
Speaker:Martin Dean, Senior Processor Verification Engineer
Organisation:Huawei Hisilicon
Presentation Title:Verification Challenges: A New ARMv8 Processor
Abstract:We are a new team in Bristol in the early stages of a multithreaded ARMv8 processor development project. In this talk I will talk about what we expect the major challenges to be, from the perspective of a completely new team.

  • Technical challenges we will have with this design
  • How do we approach the verification – which tools to use?
  • Planning, tracking and metrics
BiographyAfter graduating from Cambridge with a BA in Natural Sciences in 1999, Martin gained an MSc in Data Communications from Sheffield University before returning to Cambridge, where he worked at ARM as a verification engineer from October 2000 to November 2014. Martin spent most of his time working on processor verification, on designs including ARM926, Cortex-A5, Cortex-A8, Cortex-A9 and most recently Cortex-M7 as verification lead. He also spent several months in 2011 with the Media Processing team working on Mali-T604, and in 2006 was seconded for several months to the newly formed ARM Bangalore processor verification team.  I recently moved to Bristol, where Huawei are building a new team to work on a multithreaded ARMv8 processor design.