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


Featured Video
Latest Blog Posts
The Open Geospatial Consortium BlogThe OGC Blog
by The Open Geospatial Consortium Blog
OGC appoints three new members to its Board of Directors
Jobs
Director of Strategic Accounts for Sanborn at Colorado Springs, Colorado
Assistant Engineer. for Alameda County CA at Oakland, California
GIS Supervisor for Sanborn at Colorado Springs, Colorado
Programmer Analyst IV/ DO for City of Houston at Houston, Texas
Order Fulfillment & Sales Support for One-Compass Suite of Companies at Denver, Colorado
Manager, Remote Sensing Sales for One-Compass Suite of Companies at Denver, Colorado
Upcoming Events
GEO Business at ExCel London United Kingdom - May 19 - 20, 2021
FOSSGIS-Konferenz 2021 at OST - Ostschweizer Fachhochschule Campus Rapperswil Oberseestrasse 10 Rapperswil Switzerland - Jun 6 - 9, 2021
GI_Forum 2021 | re.connecting spatially at Salzburg Austria - Jul 5 - 9, 2021
InterDrone 2021 at Hyatt Regency Dallas TX - Aug 10 - 12, 2021
University of Denver GIS Masters Degree Online



© 2021 Internet Business Systems, Inc.
670 Aberdeen Way, Milpitas, CA 95035
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering EDACafe - Electronic Design Automation TechJobsCafe - Technical Jobs and Resumes  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise