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

World News: . []

SAN JOSE, CA -- (Marketwired) -- 11/14/17 -- 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.

Engage with Oski at:
Website: www.oskitechnology.com
Twitter: @oskiTech
LinkedIn: https://www.linkedin.com/company/1440576/
Facebook: https://www.facebook.com/oskitechnology

More news and information about Oski Technology

Published By:

Marketwire: 16:00 GMT Tuesday 14th November 2017

Published: .

Search for other references to "oski" on SPi News


Previous StoryNext Story

SPi News is published by Sector Publishing Intelligence Ltd.
© Sector Publishing Intelligence Ltd 2017. [Admin Only]
 
Sector Publishing Intelligence Ltd.
Ground Floor Offices, Little Keep Gate, Barrack Road, Dorchester, Dorset DT1 1AH
Registered in England and Wales number 0751938.
 
Privacy Policy | Terms and Conditions | Contact Us
 

Advertising on SPi News: Information For Advertisers