Podcast EP246: Axoimise cung cấp mảnh ghép còn thiếu của câu đố xác minh như thế nào
Dan is joined by Adeel Liaquat, a formal verification manager at Axiomise. The company delivers cutting-edge scalable and predictable formal verification solutions shortening the time-to-market, and left-shifting the verification curve.
Dan explores the substantial verification challenges for advanced designs with Adeel, including very subtle bugs that are hard to find with vector-based approaches. Adeel explains that a holistic approach to verification is needed, from IP to the final system. Both standard and customized architectures must be addressed with this approach.
The conversation shows how formal methods are the missing piece of the verification puzzle. The technology, training and support provided by Axiomise aims to bring this technology into mainstream use across the entire design spectrum, substantially improving the time it takes to achieve a high level of confidence in system capability.
The views, thoughts, and opinions expressed in these podcasts belong solely to the speaker, and not to the speaker’s employer, organization, committee or any other group or individual.
/
Share this post via:
