Vigyan Singhal from Oski Technology Technology is to present a tutorial at the Haifa Verification Conference on Monday November 17, from 4 p.m. until 5:30 p.m. at the IBM Haifa facility is located at the northwest corner of the University of Haifa campus, Haifa, Israel.
Achieving Sign-off with End-to-End Formal
This tutorial focuses on the most complex yet most rewarding usage of formal – using End-to-End formal to replace simulation and achieve Sign-off. The four Cs of the Formal Sign-off methodology, checkers, constraints, complex and coverage, will be presented. We will discuss the complexity barriers to achieving proof convergence with formal tools, and describe some techniques to overcome these barriers within a given project schedule.
The HVC 2014, now in its tenth year, is a series of conferences dedicated to advancing the state-of the art and state-of-the-practice in verification and testing, and provides a forum for researchers and practitioners from academia and industry to share their work, exchange ideas, and discuss the future directions of testing and verification for hardware, software, and complex hybrid systems.
Oski Technology is a formal verification services company with expertise in deploying formal verification on complex, digital designs. Oski Technology has developed a unique formal verification methodology and Oski Abstraction Models to solve challenging capacity problems with formal verification. Its formal methods bring a higher level of productivity than traditional simulation and formal verification approaches. Oski Technology, headquartered in Mountain View, Calif., with a design center in India, has built a team of the world’s foremost experts in formal verification. More information about Oski Technology can be found at: www.oskitechnology.com. www.oskitechnology.com.