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
(firmenpresse) - 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
Themen in dieser Pressemitteilung:
Unternehmensinformation / Kurzprofil:
Datum: 13.11.2014 - 14:37 Uhr
Sprache: Deutsch
News-ID 352361
Anzahl Zeichen: 0
contact information:
Town:
MOUNTAIN VIEW, CA
Kategorie:
Internet
Diese Pressemitteilung wurde bisher 200 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"MEDIA ALERT: Oski Technology's Vigyan Singhal to Present "Achieving Sign-off with End-to-End Formal" Tutorial at HVC 2014 in Israel"
steht unter der journalistisch-redaktionellen Verantwortung von
Oski Technology (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).
