SOURCE: Oski Technology

November 13, 2014 09:37 ET

MEDIA ALERT: Oski Technology's Vigyan Singhal to Present "Achieving Sign-off with End-to-End Formal" Tutorial at HVC 2014 in Israel

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.

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
    Email Contact