REMINDER: MEDIA ALERT: Oski Technology to Showcase Formal Sign-Off Methodology at DVCon 2015
Will Demonstrate How to Apply Custom Abstraction Models During Formal Analysis
(firmenpresse) - MOUNTAIN VIEW, CA -- (Marketwired) -- 02/26/15 --
, the only dedicated formal verification service provider
Will showcase its Formal Sign-off Methodology™ during DVCon 2015 in Booth #205 and demonstrate the Oski Formal Methodology to make formal sign-off possible with end-to-end checkers and formal coverage. Attendees who stop by the Oski booth will learn why applying custom Abstraction Models during formal analysis enable users to reach deeper search depth and achieve faster proof.
DVCon's Booth Crawl Monday, March 2, from 5 p.m. until 7 p.m., and Tuesday and Wednesday, March 3-4, from 2:30 p.m. until 6 p.m.
DoubleTree Hotel in San Jose, Calif.
For more details about Oski Technology and the Formal Sign-Off Methodology, visit:
The DVCon program can be found at:
is a formal verification services company with expertise in deploying formal verification on complex, digital designs. Oski Technology has developed a unique Formal Sign-off 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: 26.02.2015 - 15:00 Uhr
Sprache: Deutsch
News-ID 374589
Anzahl Zeichen: 0
contact information:
Town:
MOUNTAIN VIEW, CA
Kategorie:
Electronics & Communications
Diese Pressemitteilung wurde bisher 243 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"REMINDER: MEDIA ALERT: Oski Technology to Showcase Formal Sign-Off Methodology at DVCon 2015"
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).
