REMINDER: MEDIA ALERT: Oski Technology to Participate in Formal Verification Session, Industry Panel on Formal During FMCAD in Austin, Texas
Sponsors Annual Hardware Model Checking Competition Once Again
(firmenpresse) - MOUNTAIN VIEW, CA -- (Marketwired) -- 09/28/15 --
, the only dedicated formal verification service provider
Will participate in a Formal Verification Applications and Case Studies session, where Vigyan Singhal, Oski Technology''s president and chief executive officer, will present "The Compositional Reasoning Gotchas in Practice" during the Formal Methods in Computer-Aided Design (FMCAD) 2015. The session will be followed by a panel titled, "Formal Verification in the Industry -- a 2020 vision." Vigyan Singhal will serve as a panelist.
Tuesday, September 29
The University of Texas at Austin
Once again, Oski Technology will sponsor the annual Hardware Model Checking Competition (HWMCC) recognizing outstanding technological achievement for solving the most challenging formal verification problems, from end to end.
For more about Oski Technology, go to:
FMCAD is the premier conference on formal methods theory and applications in hardware and system verification. The complete 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: 28.09.2015 - 09:00 Uhr
Sprache: Deutsch
News-ID 1388350
Anzahl Zeichen: 0
contact information:
Contact person:
Town:
MOUNTAIN VIEW, CA
Phone:
Kategorie:
Parts and Accessories
Anmerkungen:
Diese Pressemitteilung wurde bisher 308 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"REMINDER: MEDIA ALERT: Oski Technology to Participate in Formal Verification Session, Industry Panel on Formal During FMCAD in Austin, Texas
"
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).
