Tweet

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

MOUNTAIN VIEW, CA — (Marketwired) — 11/13/14 —

Vigyan Singhal, chief executive officer of , the only dedicated formal verification service provider

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.

Monday, November 17

IBM Research, Haifa, located on the University of Haifa campus, Mount Carmel, in Haifa, Israel.

Information about Oski Technology can be found at:

To learn more about HVC 2014, visit:

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: .

Formal Sign-off Methodology is a trademark of Oski Technology, Inc. All trademarks and registered trademarks are the property of their respective owners.

For more information, contact:
Nanette Collins
Public Relations for Oski Technology
(617) 437-1822