Mike Gibbs Email & Phone Number

During my 20-year career at ARM, I have thrived on tackling new and complex problems. The last project of note was providing completely new tools and a way of working on the most important document that Arm publicly provides. Other changes include developing new programming languages that are both human—and machine-readable, with the explicit aim of aiding understanding of the Arm Architecture.I always seek to use new tools, principles, and working methods when starting a new project. This makes any deliverables more understandable and adaptable in the future. I have utilised this method of working in both hardware and software design.Delivered, on time, the migration of the ARM architecture reference manual, a 15,000-page document, from Adobe’s FrameMaker binary format to an in-house markdown variant. The project included producing an entirely new toolchain to produce a publishable PDF.I was part of the cross-department working group devising a new documentation language that was readable to software and hardware engineers while still compilable for testing. The language had to be strictly typed while also allowing the types to be inferred whenever possible. To provide a mechanism in the language for varying architectural constants, the language has a form of templating known as constrained. Another consideration for the language was to allow the formal verification of any code by allowing sufficient architectural knowledge. A number of Arm’s partners are using this language.Using Jenkins, I developed and maintained CIs for all the different projects with the ATG group. This included software development pipelines with unit testing and linting and documentation building with checks for consistency and layout. ATG is the Architecture and Technology Group responsible for developing and maintaining the different architectures published by ARM. I worked on the next-generation architecture, v9A, to make CPU traces visible to the software model.A CPU trace provides a history of the control path that a CPU has taken while running on real data. This information allows for a much richer debugging environment, more detailed crash reports, and data-driven optimisations.I developed the programmer's model and data protocol descriptions for inclusion in the Arm Architectural Reference Manual. This feature is known as the Embedded Trace Extension (ETE

Listed skills include Processors, Integrated Circuit Design, Asic, Verilog, and 18 others.

• 

  Imperial College London

  Electrical And Electronic Engineering