REMINDER: MEDIA ALERT: Presentations From Formal Verification Experts Highlight Next Decoding Formal Club Meeting Hosted by Oski Technology, Sponsored by Synopsys
October 23 Agenda Includes Talks on Formal Verification Methodologies, Real-World Applications, Experiences
(firmenpresse) - MOUNTAIN VIEW, CA -- (Marketwired) -- 10/21/14 --
Three formal verification experts -- Formal Verification Pioneer Robert Kurshan, Vigyan Singhal, Oski's chief executive officer, and Syed Suhaib, formal verification team manager at NVIDIA -- will share their formal verification insights and expertise using real-world examples
During the next Decoding Formal Club hosted by , the only dedicated formal verification service provider, and sponsored by
Thursday, October 23, from 11:45 a.m. until 3:30 p.m.
Computer History Museum, Mountain View, Calif. Pre-registration is required because space is limited.
Singhal will present a key component of the Oski Formal Sign-off Methodology. His 45-minute presentation, scheduled for 12:45 p.m., will explain End-to-End Checkers and how to replace simulation with formal using them.
A 40-minute presentation beginning at 1:30 p.m. by Suhaib will offer a look at NVIDIA's experience using formal verification to verify the recently announced NVIDIA Denver CPU.
Kurshan will close the program by presenting a formal verification application, "Formal Verification of Cache Coherence." He will address how to verify memory consistency, and discuss practical options using model checking.
The Decoding Formal Club is 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.
To register for the Decoding Formal Club, visit:
More information about Oski Technology can be found at:
The Synopsys 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: 21.10.2014 - 15:00 Uhr
Sprache: Deutsch
News-ID 345737
Anzahl Zeichen: 0
contact information:
Town:
MOUNTAIN VIEW, CA
Kategorie:
Electronic Components
Diese Pressemitteilung wurde bisher 210 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"REMINDER: MEDIA ALERT: Presentations From Formal Verification Experts Highlight Next Decoding Formal Club Meeting Hosted by Oski Technology, Sponsored by Synopsys"
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).
