SOURCE: Oski Technology

May 10, 2016 11:30 ET

REMINDER: 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

MOUNTAIN VIEW, CA--(Marketwired - May 10, 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

Formal Sign-off Methodology is a trademark of Oski Technology, Inc. All trademarks and registered trademarks are the property of their respective owners.

Contact Information

  • For more information, contact:
    Nanette Collins
    Public Relations for Oski Technology
    (617) 437-1822
    Email Contact