Bringing mathematical rigour in the world of hardware – a journey into Formal Verification

Robert Simpson, a Maths graduate, discusses his journey into Formal Verification (FV) at Axiomise, where he applies rigorous logic to ensure hardware correctness at the silicon level. He highlights the importance of precise reasoning and methodical accuracy learned from his degree in solving real-world problems in FV. Simpson finds working in FV fulfilling due to collaborating with experts, finding bugs missed by traditional methods, and contributing to the development of the field. He emphasizes the blend of philosophy, engineering, and detective work in FV, making it a rewarding and impactful career choice for those interested in hardware design and formal methods.