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

Autodesk University 2017

Featured Video
MCAD Corporate Newsletter
rss feed
Editorial
Jeff RoweJeff's MCAD Blogging
by Jeff Rowe
NVIDIA’s AI Computer Drives AVs
Jobs
Mechanical Engineer for The Planate Management Group LLC at Perry Point, MD
Senior Mechanical Engineer for Albert Kahn and Associates at Detroit, MI
Structural Engineer for The Planate Management Group LLC at Perry Point, MD
Structural Engineer for Albert Kahn and Associates at Detroit, MI
ENVIRONMENTAL GRAPHIC DESIGNER for Blitz at San Francisco, CA
Upcoming Events
ASSESS 2017 CONGRESS at Bolger Center Potomac MD - Nov 1 - 3, 2017
FABTECH 2017 at McCormick Place Chicago IL - Nov 6 - 9, 2017
ATX MINNEAPOLIS 2017 at Minneapolis MN - Nov 8 - 9, 2017
2017 China Chongqing International Machine Tool Show (CCIMT) at Chongqing International Expo Center, Yubei Chongqing China - Nov 13 - 16, 2017



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 PolicyAdvertise