MEDIA ALERT: Oski Technology Kicks-Off 2015 Series of Decoding Formal Club Meetings February 9
Agenda Includes Presentations on Variety of Formal Verification Topics
(firmenpresse) - MOUNTAIN VIEW, CA -- (Marketwired) -- 01/20/15 --
, the only dedicated formal verification service provider
Kicks-off the 2015 Series of Decoding Formal Club meetings, a forum for formal verification enthusiasts, pioneers and leaders who work to promote the sharing of ideas, advancement of formal technology, and adoption of formal sign-off
Monday, February 9, from 11:30 a.m. until 4:15 p.m.
Computer History Museum, Mountain View, Calif. Pre-registration is required.
Vigyan Singhal, Oski's chief executive officer, will discuss constraint management in Formal Sign-off.
NVIDIA Principal Engineer Jon Michelson, co-author of "The Art of Verification with SystemVerilog Assertions" and "The Art of Verification with Vera," will present "A Practical Viewpoint on Liveness versus Safety."
Ross Weber, staff design engineer at ARM and author of the best paper award at the Jasper User Group 2014, will address formal achievements at ARM.
And, special invited guest Cliff Stoll of Newfield Wireless and Acme Klein Bottles
Registration information for the Decoding Formal Club can be found at:
The Oski Technology website is located at:
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: 20.01.2015 - 15:30 Uhr
Sprache: Deutsch
News-ID 365634
Anzahl Zeichen: 4933
contact information:
Town:
MOUNTAIN VIEW, CA
Kategorie:
Electronics & Communications
Diese Pressemitteilung wurde bisher 221 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"MEDIA ALERT: Oski Technology Kicks-Off 2015 Series of Decoding Formal Club Meetings February 9"
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).
