We would all like to see designers adding assertions to their code. Unfortunately, the effort and time required by the designers to write these assertions often prevents them from creating the assertions. The language knowledge and skills required to write assertions often adds a further barrier. Mark Hanover (Mentor Graphics) presentation at the next European DVClub will explain a solution called Questa PropGen which automates ABV. It enables the verification team to generate properties automatically using existing test environments and reduces the amount of manual coding of assertions.
Mark has been involved in the design and verification of complex SoC’s for over 15 years with positions in a number of commercial and mil-aero companies and will share his experience with us.
Why not register and join us at the next DVClub on 7th July? We have venues throughout Europe and Remote Access and it’s a great opportunity to network!!!