MEDIA ALERT: Presentations From Formal Verification Experts Highlight Next Decoding Formal Club Meeting Hosted by Oski Technology, Sponsored by Synopsys

MOUNTAIN VIEW, CA -- (Marketwired) -- Oct 07, 2014 --

WHO: Three formal verification experts -- Formal Verification Pioneer Robert Kurshan, Vigyan Singhal, Oski's chief executive officer, and Syed Suhaib, formal verification team manager at NVIDIA -- will share their formal verification insights and expertise using real-world examples

WHAT: During the next Decoding Formal Club hosted by Oski Technology, Inc., the only dedicated formal verification service provider, and sponsored by Synopsys

WHEN: Thursday, October 23, from 11:45 a.m. until 3:30 p.m.

WHERE: Computer History Museum, Mountain View, Calif. Pre-registration is required because space is limited.

The Agenda:

  • Singhal will present a key component of the Oski Formal Sign-off Methodology. His 45-minute presentation, scheduled for 12:45 p.m., will explain End-to-End Checkers and how to replace simulation with formal using them.
  • A 40-minute presentation beginning at 1:30 p.m. by Suhaib will offer a look at NVIDIA's experience using formal verification to verify the recently announced NVIDIA Denver CPU.
  • Kurshan will close the program by presenting a formal verification application, "Formal Verification of Cache Coherence." He will address how to verify memory consistency, and discuss practical options using model checking.

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

To register for the Decoding Formal Club, visit:
More information about Oski Technology can be found at:
The Synopsys 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.

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

Email Contact 

Review Article Be the first to review this article
CST Webinar Series


Featured Video
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Acquiring Mentor: Four Good Ideas, One Great
More Editorial  
Manager, Field Applications Engineering for Real Intent at Sunnyvale, CA
SENIOR ASIC Design Engineer for TiBit Communications at Petaluma, CA
Upcoming Events
DeviceWerx - 2016 at Green Valley Ranch Casino & Resort Las Vegas NV - Nov 3 - 4, 2016
2016 International Conference On Computer Aided Design at Doubletree Hotel Austin TX - Nov 7 - 10, 2016
ICCAD 2016, Nov 7-10, 2016 at Doubletree Hotel in Austin, TX at Doubletree Hotel Austin TX - Nov 7 - 10, 2016
Electric&Hybrid Aerospace Technology Symposium 2016 at Conference Centre East. Koelnmesse (East Entrance) Messeplatz 1 Cologne Germany - Nov 9 - 10, 2016
S2C: FPGA Base prototyping- Download white paper

Internet Business Systems © 2016 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy