twitter.com, Jun. 15, 2023 –
We believe our team delivers excellent production-grade, scalable formal verification on projects as part of our commitment to making formal normal and we are delighted to have a testimonial from Sagar Edara (@AMD
"Axiomise FV experts have a deep understanding of formal verification at an engineering level, including the balancing act between fast-changing RTL and changing requirements. They are experts at deploying formal methods for large-scale design verification."