Axiomise CEO welcomes you all to 2021. He describes how Axiomise formal verification training, consulting & services and custom RISC-V apps are helping its customers obtain high-quality sign-off. Let’s beat the bugs together.