MEDIA ALERT: Oski Technology to Host Decoding Formal Verification Training Day During Design Automation Conference
June 9 Training Day Sponsored by Synopsys Will Cover Achieving Formal Sign-off
(firmenpresse) - MOUNTAIN VIEW, CA -- (Marketwired) -- 04/12/16 --
, the only dedicated formal verification service provider
Will host its comprehensive Decoding Formal Training Day on "Achieving Formal Sign-off"
Thursday, June 9, from 10 a.m. until 5 p.m. It will be held in conjunction with the 53rd Design Automation Conference (DAC) June 5-9.
Hilton Hotel, Austin, 500 East 4th Street, Austin, Texas
Synopsys, Inc.
The Decoding Formal Training Day is intended for engineers who want to learn how to use formal verification more efficiently and the techniques to adopt a formal sign-off methodology. The Training Day is an abbreviated version of Oski's two-week Advanced Formal Training.
A complete agenda will be announced in May, and would include topics around achieving Formal Sign-Off, such as writing end-to-end formal checkers, handling formal complexity, using abstraction models and managing constraints efficiently, and using formal coverage
The event is open to a limited number of attendees. The registration fee is $199, including lunch. To register, go to:
For more information about Oski Technology, visit:
Details about DAC 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: 12.04.2016 - 15:30 Uhr
Sprache: Deutsch
News-ID 463499
Anzahl Zeichen: 0
contact information:
Town:
MOUNTAIN VIEW, CA
Kategorie:
Electronic Components
Diese Pressemitteilung wurde bisher 253 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"MEDIA ALERT: Oski Technology to Host Decoding Formal Verification Training Day During Design Automation Conference"
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).
