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


Latest Blog Posts
Michelle Mata-ReyesAldec Design and Verification
by Michelle Mata-Reyes
ARM-based SoC Co-Emulation using Zynq Boards
Jobs
Salesforce Technical Lead   East Coast  for EDA Careers at Cherry Hill, New Jersey
Sr. Application Engineer for Mentor Graphics at Fremont, California
Senior Account Managers… FORMAL VERIFICATION...VALLEY for EDA Careers at San Jose, California
Hardware Engineer, Board Design for Arista Networks at Santa Clara, California
Senior Software Architect Internet for EDA Careers at San Jose, California
Upcoming Events
FLEX 2020 and MSTC 2020 at DoubleTree by Hilton 2050 Gateway Place San Jose CA - Feb 24 - 27, 2020
DVCon U.S. 2020 at DoubleTree Hotel San Jose CA - Mar 2 - 5, 2020
OFC 2020 - The Optical Networking and Communication Conference & Exhibition at San Diego Convention Center San Diego CA - Mar 8 - 12, 2020
DATE '2020 at ALPEXPO Grenoble France - Mar 9 - 13, 2020
DownStream: Solutions for Post Processing PCB Designs
Verific: SystemVerilog & VHDL Parsers



© 2020 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