Will Highlight Formal Sign-Off Methodology, Address How to Overcome Complexity Barriers
MOUNTAIN VIEW, CA–(Marketwired – Nov 13, 2014) –
WHO: Vigyan Singhal, chief executive officer of Oski Technology, Inc., the only dedicated formal verification service provider
WHAT: Will present “Achieving Sign-off with End-to-End Formal,” at Tutorial Day during the Haifa Verification Conference (HVC 2014), an annual conference dedicated to advancing the state-of-the-art and state-of-the-practice verification and testing. This tutorial will focus on the most complex use of formal using end-to-end formal to replace simulation and achieve sign-off. The four Cs of the Formal Sign-off methodology — checkers, constrains, complex and coverage — will be presented, as well as complexity barriers to achieve proof convergence with formal tools and techniques to overcome them within the project schedule.
WHEN: Monday, November 17
WHERE: IBM Research, Haifa, located on the University of Haifa campus, Mount Carmel, in Haifa, Israel.
Information about Oski Technology can be found at: www.oskitechnology.com
To learn more about HVC 2014, visit: http://tiny.cc/uzj8ox
About Oski Technology
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.