MEDIA ALERT: Oski Technology to Showcase End-to-End Formal Verification at DVCon 2016
Will Demonstrate How to Ensure Verification, Coverage Using Oski Formal Methodology and Abstraction Models
(firmenpresse) - MOUNTAIN VIEW, CA -- (Marketwired) -- 02/17/16 --
, the only dedicated formal verification service provider
Will demonstrate how leading semiconductor companies achieve End-to-End Formalâ„¢ verification and complete coverage with Oski Formal Methodology and Abstraction Modelsâ„¢ in Booth #205 during DVCon 2016
DVCon''s Booth Crawl Monday, February 29, from 5 p.m. until 7:00 p.m., Tuesday, March 1, and Wednesday, March 2, from 2:30 p.m. until 6 p.m.
DoubleTree Hotel, San Jose, Calif.
Prashant Aggarwal, principal engineer at Oski Technology, will be a speaker at the regular session on and present, "The Process and Proof for Formal Sign-Off -- A Live Case Study." The session will be held in the Fir meeting room, Wednesday, March 2, from 3 p.m. until 4:30 p.m.
For more information about ''s activities during DVCon, visit its Events page:
For more information about DVCon 2016, visit:
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: 17.02.2016 - 10:00 Uhr
Sprache: Deutsch
News-ID 1415841
Anzahl Zeichen: 2578
contact information:
Contact person:
Town:
MOUNTAIN VIEW, CA
Phone:
Kategorie:
Hardware
Typ of Press Release:
type of sending:
Date of sending:
Anmerkungen:
Diese Pressemitteilung wurde bisher 139 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"MEDIA ALERT: Oski Technology to Showcase End-to-End Formal Verification at DVCon 2016
"
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).
