Bringing mathematical rigour in the world of hardware – a journey into Formal Verification - Semiwiki
…Robert learnt about Axiomise at a University Careers fair, and their work using mathematical approaches to the verification of cutting-edge hardware encouraged him to learn more and eventually apply for a…