Surinder Sood’s Post

We have received another DAC acceptance this year as well(the acceptance rate is 22 %). Our formal verification solution (on property convergence), which was suggested last year, has been further expanded in this work. The solution has been successfully implemented in the projects we work on, and a few days ago, I had the opportunity of presenting an expert talk at an event called DVCLUB-EUROPE. Over 100 people from various companies in our industry attended the talk from all over the world. The solution is now further expanded to define convergence with qualification (work titled: Taming formal for verification Quality), which we'll be presenting this year This is most likely the seventh solution in the verification area (formal and simulation combined) that DAC has approved thus far (since 2020). All things considered, we have produced verification solutions that are successfully implemented at different verification levels (currently crossing double digits: real-time, dynamic, and formal) We're still working and anticipate that future episodes will keep developing 😊. Thanks a lot to my colleagues Kishan Mushar and Nirmal Jose for all their support and contribution to this work