Oski Tutorial on End-to-End Formal

Oski’s Vigyan Singhal presented an invited tutorial on October 30 at FMCAD 2011, the eleventh in a series of conferences on the theory and applications of formal methods in hardware and system verification.

FMCAD Oski Tutorial

When: October 30 – November 2
Where: FMCAD 2011, Austin, TX
Paper: End-to-End Formal using Abstractions to Maximize Coverage

FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.

About Oski

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 for the proper integration of formal with simulation and End-to-End Formal verification. 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.oskitechnology.com.