MEDIA ALERT: Decoding Formal Club Hosted by Oski Technology to be held October 11

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

WHAT: Will host the next meeting of the Decoding Formal Club, sponsored by Synopsys, featuring formal talks from AMD, Qualcomm and Oski Technology

WHEN: Tuesday, October 11, beginning with lunch and networking at 11:30 a.m., with a full program running from 1 p.m. until 4 p.m. Attendance is complimentary and pre-registration is required due to space limitations. To register, go to:

WHERE: Parcel 104 at the Santa Clara Marriott in Santa Clara, Calif.

The program begins with a presentation from Ankit Saxena of Oski Technology titled, “Verifying Datapath for an AMD Processor,” followed by “Mutation and Proof Core: Two Sides of the Same Coin” by Mandar Munishwar of Qualcomm. Vigyan Singhal of Oski Technology will offer a talk on “Formal Verification for Networking Blocks.”

The Decoding Formal Club is a quarterly event 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.

More information about Oski Technology 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: