SOURCE: Oski Technology

January 20, 2015 10:30 ET

MEDIA ALERT: Oski Technology Kicks-Off 2015 Series of Decoding Formal Club Meetings February 9

Agenda Includes Presentations on Variety of Formal Verification Topics

MOUNTAIN VIEW, CA--(Marketwired - Jan 20, 2015) -

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

Kicks-off the 2015 Series of Decoding Formal Club meetings, a forum 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

Monday, February 9, from 11:30 a.m. until 4:15 p.m.

Computer History Museum, Mountain View, Calif. Pre-registration is required.

The Agenda:

  • Vigyan Singhal, Oski's chief executive officer, will discuss constraint management in Formal Sign-off.
  • NVIDIA Principal Engineer Jon Michelson, co-author of "The Art of Verification with SystemVerilog Assertions" and "The Art of Verification with Vera," will present "A Practical Viewpoint on Liveness versus Safety."
  • Ross Weber, staff design engineer at ARM and author of the best paper award at the Jasper User Group 2014, will address formal achievements at ARM.
  • And, special invited guest Cliff Stoll of Newfield Wireless and Acme Klein Bottles

Registration information for the Decoding Formal Club can be found at:

The Oski Technology website is located 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 verification 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