MOUNTAIN VIEW, CA–(Marketwired – Apr 12, 2016) –
WHO: Oski Technology,Inc., the only dedicated formal verification service provider
WHAT: Will host its comprehensive Decoding Formal Training Day on “Achieving Formal Sign-off”
WHEN: 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.
WHERE: Hilton Hotel, Austin, 500 East 4th Street, Austin, Texas
SPONSOR: 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: http://bit.ly/1VOfyUF
For more information about Oski Technology, visit: www.oskitechnology.com
Details about DAC can be found at: www.dac.com
About Oski Technology
Oski Technology 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: www.oskitechnology.com