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.
Formal Sign-off Methodology is a trademark of Oski Technology, Inc. All trademarks and registered trademarks are the property of their respective owners.
Contact Information:
For more information, contact:
Nanette Collins
Public Relations for Oski Technology
(617) 437-1822