Martin Berger is a formal verification expert in the ISA research team. Before joining Huawei, he was a senior lecturer at the University of Sussex. He did his PhD at Imperial College London, and his undergraduate at Technical University Berlin. His academic work has been on formal methods in programming languages, in particular typing systems, meta-programming, compilation, program logics, security, process theory. At Huawei, he’s working on all aspects of processor testing and verification.
Processor development has become much more difficult, in parts because of diminishing returns from Moore’s law, in parts because with too many transistors available on-silicon, traditional processor design and verification methodologies run into scaling problems. Add to that the rise of domain specific processors such as GPUs and machine learning accelerators, we are seeing a dramatic rise in the complexities of processor R&D. This talk will give a broad-brush overview of processor development past, present and future, with an emphasis on verification and mechanised ISA specification.
Date & Time: 12:45pm-13:30pm, Friday, 13th Aug 2021