While there was a lot (justifiable) buzz around the UVM 1.0 release, formal and assertion-based verification (ABV) technologies and methodologies also had a great showing at DVCon 2011. Beyond the many papers and posters on this topic, further evidence of formal verification growth is the emergence of service providers that are exclusively focused on this category. Specifically, Oski Technology -- "the world's first and only IC verification services company to be fully focused on formal verification" -- felt the time was right to invest in a DVCon booth. In this video I interview their CEO Vigyan Singhal, who offers advice to simulation-oriented people new to formal, the importance of advanced planning and quantifiable metrics for project management, and how formal and simulation can be mutually reinforcing.
If the video doesn't play, click
Full disclosure: as good as our application engineers are; they can't be two (or three, or four) places at once. Cadence's own "VCAD" services organization has limited bandwidth as well. Consequently, the emergence of Oski Technology experts for hire is a winning proposition for everyone, as we have a lot of very happy joint customers. Depending on the customers' needs, we have seen Oski Technology augment teams of formal gurus, coach complete newbies in the ways of ABV, or do turn-key outsourcing of whole projects.
Joe Hupcey III
for Team Verify
Reference link: Oski Technology home page