Oski Technology’s Next Decoding Formal Club Meeting Showcases Verification Experiences from Barefoot Networks, Cavium, Qualcomm

Cadence-Sponsored Event will be held December 7 in San Jose, Calif.

SAN JOSE, CALIF. –– November 14, 2017 –– Oski Technology, Inc., the established and trusted leader in Formal verification methodology expertise, today announced that Barefoot Networks, Cavium, and Qualcomm will share their Formal Verification experiences at the next Decoding Formal Club Meeting.

Sponsored by Cadence Design Systems, it will be held at The Conference Center in San Jose, Calif., Thursday, December 7. The event will close out this year’s speaking engagements and will follow the Oski Expert Talks given at Cadence’s Jasper User Group and Formal Club conferences in San Jose, Calif.; Bracknell, U.K.; and Sophia-Antipolis, France.

The keynote address will be delivered by Dan Lenoski, vice president of Engineering and co-founder of Barefoot Networks. Lenoski will explore “The Challenges in High-Performance Networking Silicon Verification” where he will discuss Barefoot Networks’ industry-changing P-4 programmable Ethernet switch and the adoption of best-of-breed Formal Verification techniques to reach verification sign-off.

Saurabh Shrivastava, senior manager Hardware Engineering at Cavium, will dive into “A Methodology for Formally Verifying Software Defined Networking Silicon” and explain how Formal Verification was implemented on the Cavium XPliant® Ethernet Switch CNX880xx product family.

The final presentation will be “A Case Study on Handling System-Level Deadlock Using Architectural Formal Verification” given by Mandar Munishwar, senior staff Formal Verification engineer from Qualcomm. His talk will show how architectural Formal Verification leverages the exhaustive nature of Formal to explore all corner cases while using highly abstract architectural models to overcome complexity barriers and enable deep analysis of design behavior.

The event begins with lunch at 11:30 a.m. and will be followed by a networking reception from 4 p.m. until 5 p.m. Attendance is complimentary and pre-registration is required. To register, go to: http://bit.ly/2hkxuvK

“Our customers continue to push us to expand the limits of what Formal Verification methodologies can offer,” says Vigyan Singhal, president and chief executive officer of Oski Technology. “Sharing their Oski-guided experience helps to elevate the role of Formal Verification in design and verification among the community.”

Contact Oski today and discover how we can help you overcome your most critical verification challenges: www.oskitechnology.com  

About Oski Technology

Oski Technology established itself as the unsurpassed trusted global leader in the domain of Formal Verification methodology and expertise. Founded in 2005, Oski serves six out of the top seven semiconductor design companies. Leaders in consumer electronics, communications, computing, image processing, data storage, research, defense, education, automotive, and medical turn to Oski for help accelerating their verification process and produce higher quality designs than simulation alone allows. Oski has assembled the world’s largest dedicated team of experts that draws on hundreds of man-years of collective experience to provide Oski-certified verification sign-off. Oski reset the benchmark for formal verification with innovations such as its Formal Sign-off™ methodology, End-To-End Formal™ checkers and Oski Abstraction Models™. Oski's publications, training sessions and events, such as the Decoding Formal Club, are recognized industry-wide as valuable resources of formal applications knowledge. 





Contacts: 

Rob van Blommestein
Vice President of Marketing at Oski Technology
(408) 201-3018 
Email Contact

Nanette Collins
Public Relations for Oski Technology 
(617) 437-1822 
Email Contact




Review Article Be the first to review this article
Aldec

Featured Video
Jobs
Senior Electrical Engineer for Allen & Shariff Corporation at Pittsburgh, PA
Principle Electronic Design Engr for Cypress Semiconductor at San Jose, CA
ASIC Hardware Engineer for BAE Systems Intelligence & Security at Arlington, VA
Applications Engineer for intersil at Palm Bay, FL
Senior Formal FAE Location OPEN for EDA Careers at San Jose or Anywhere, CA
Upcoming Events
IPC APEX EXPO 2018 at San Diego Convention Center San Diego CA - Feb 24 - 1, 2018
DVCon US 2018 at Double Tree Hotel San Jose CA - Feb 26 - 1, 2018
5th EAI International Conference on Big data and Cloud Computing Challenges at Vandalur, Kelambakkam high road chennai Tamil Nadu India - Mar 8 - 9, 2018



Internet Business Systems © 2018 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 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 PolicyAdvertise