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: http://tiny.cc/g12smx
More information about Oski Technology can be found at: www.oskitechnology.com
The Synopsys website is located at: www.synopsys.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 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: 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.

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
Rand3D

Featured Video
Jobs
Mechanical Engineer I for Air Techniques, Inc at Melville, NY
Proposal Support Coordinator for Keystone Aerial Surveys at Philadelphia, PA
Upcoming Events
The Rise of Mechatronics at Dassault Systèmes San Diego 5005 Wateridge Vista Drive San Diego CA - Sep 12, 2017
The Rise of Mechatronics at Buca di Beppo - Pasadena 80 West Green Street Pasadena CA - Sep 13, 2017
The Rise of Mechatronics at Dassault Systèmes Santa Clara 3979 Freedom Circle, Ste 750 Santa Clara CA - Sep 14, 2017
The 30th Annual Integrated Process Excellence Symposium & Training at Wyndham Grand Bonnet Creek Resort Orlando FL - Sep 18 - 20, 2017
Kenesto: 30 day trial
SolidCAM: Cutting Webinar



Internet Business Systems © 2017 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering EDACafe - Electronic Design Automation GISCafe - Geographical Information Services TechJobsCafe - Technical Jobs and Resumes ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy Advertise