➀ Bing Xue discusses his journey into Formal Verification; ➁ Challenges faced in learning FV without structured courses; ➂ Benefits of Axiomise FV courses in understanding and applying FV techniques.

➀ The challenges of formal verification are discussed, highlighting the importance of making formal verification accessible and scalable. ➁ Axiomise's approach to making formal verification normal through consulting, training, and automated IP is presented. ➂ The Essential Introduction to Practical Formal Verification course is introduced, focusing on making formal verification easy to understand and apply.