SOURCE: Oski Technology

February 26, 2015 10:00 ET

REMINDER: MEDIA ALERT: Oski Technology to Showcase Formal Sign-Off Methodology at DVCon 2015

Will Demonstrate How to Apply Custom Abstraction Models During Formal Analysis

MOUNTAIN VIEW, CA--(Marketwired - Feb 26, 2015) -

WHO: Oski Technology, Inc., the only dedicated formal verification service provider

WHAT: Will showcase its Formal Sign-off Methodology™ during DVCon 2015 in Booth #205 and demonstrate the Oski Formal Methodology to make formal sign-off possible with end-to-end checkers and formal coverage. Attendees who stop by the Oski booth will learn why applying custom Abstraction Models during formal analysis enable users to reach deeper search depth and achieve faster proof.

WHEN: DVCon's Booth Crawl Monday, March 2, from 5 p.m. until 7 p.m., and Tuesday and Wednesday, March 3-4, from 2:30 p.m. until 6 p.m.

WHERE: DoubleTree Hotel in San Jose, Calif.

For more details about Oski Technology and the Formal Sign-Off Methodology, visit:

The DVCon program can be found at: 

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:

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