MEDIA ALERT: Decoding Formal Club Hosted by Oski Technology to Be Held October 11
Synopsys-Sponsored Event to Feature Formal Talks From AMD, Qualcomm, Oski Technology
(firmenpresse) - MOUNTAIN VIEW, CA -- (Marketwired) -- 10/04/16 --
, the only dedicated formal verification service provider
Will host the next meeting of the Decoding Formal Club, sponsored by Synopsys, featuring formal talks from AMD, Qualcomm and Oski Technology
Tuesday, October 11, beginning with lunch and networking at 11:30 a.m., with a full program running from 1 p.m. until 4 p.m. Attendance is complimentary and pre-registration is required due to space limitations. To register, go to:
Parcel 104 at the Santa Clara Marriott in Santa Clara, Calif.
The program begins with a presentation from Ankit Saxena of Oski Technology titled, "Verifying Datapath for an AMD Processor," followed by "Mutation and Proof Core: Two Sides of the Same Coin" by Mandar Munishwar of Qualcomm. Vigyan Singhal of Oski Technology will offer a talk on "Formal Verification for Networking Blocks."
The Decoding Formal Club is a quarterly event 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.
More information about 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: 04.10.2016 - 15:00 Uhr
Sprache: Deutsch
News-ID 498686
Anzahl Zeichen: 0
contact information:
Town:
MOUNTAIN VIEW, CA
Kategorie:
Diese Pressemitteilung wurde bisher 174 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"MEDIA ALERT: Decoding Formal Club Hosted by Oski Technology to Be Held October 11"
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).
