After 20 years of researching formal-verification algorithms, developing formal-verification tools, and applying formal-verification technology to solve real-world verification challenges, I could say endless things about formal verification. If you heard me giving a talk at Oski Technology’s quarterly “Decoding Formal Club” events, you would know that keeping me to my allocated time slots has been a challenge for
Register to view the full article
By registering on Electronic Design now, you'll not only gain access to premium content, you'll also become part of an exclusive, robust global engineering community!
Participate in Expert and Reader driven Q&A's
Start your own conversation by commenting on any article or blog
Download high-quality content including the highly anticipated Salary & Career Report