Agenda
Introduction to Formal Verification
Functional Verification Vs Formal Verification
Assertion-Based Verification (ABV)
Formal Verification Flow
Case Study
Equivalence Checking and Formal Apps
Best Practices and Q&A
Key Highlights
Understanding of what Formal Verification is and why it matters
Basic knowledge of assertions and property-based verification
Insights into how formal tools find corner-case bugs
Awareness of industrial applications and integration metho
Words From Our CEO’s Desk
My vision is to create an excellent learning ecosystem of superior technical expertise, hands-on training experience, and industry-oriented courses with innovative learning processes.
"I am pleased to invite you to our workshop at Maven Silicon. We have put together an engaging agenda that covers the latest advancements in the industry. You will have the opportunity to learn from industry experts and gain experience with the latest tools and technologies.
Our VLSI workshop is designed to provide practical VLSI skills and knowledge that can be immediately applied to the workplace. I am confident that this workshop will be a valuable learning experience for you, and I encourage you to take advantage of this opportunity to enhance your VLSI skills and advance your career.
I wish you all the best for a productive and enjoyable workshop."