Oski Presentations on End-to-End Formal
Oski’s Vigyan Singhal presented at the Cadence Club Formal series event on November 8, 2011. Also, Nalin Nimavat of Cisco presented a joint work with Oski Technology. Club Formal is a series of meetings dedicated to advancing the discussion around the application of formal verification.
Vigyan’s presentation covered detailed examples of some Abstraction Models, and how they can be used to achieve End-to-End verification using formal verification.
Nalin’s presentation covered how three End-to-End checkers were able to achieve complete proof and find corner-case bugs for a design that was hard to verify with simulation.
The event was attended by about 50 formal experts and users from various semiconductor companies.
Oski Technology is the world’s first and only formal verification services company to successfully leverage off-the-shelf EDA tools with a unique formal verification methodology. Oski has pioneered a new approach with its proprietary Oski Abstraction Models, delivering complete End-to-End Formal verification of even the most complex SOC designs.
Visit Oski Technology at www.oskitech.com.