Oski Formal Sign-Off Helps Cavium, Cisco, Nvidia, Qualcomm Combat Simulation-Resistant Superbugs – Case Studies Revealed at Design Automation Conference

Complimentary Superbug Risk Assessment Provided to DAC Attendees

SAN JOSE, Calif. — (BUSINESS WIRE) — June 14, 2018Oski Technology, Inc., the established and trusted leader in formal verification methodology and expertise, will host case studies from Cavium, Cisco, Nvidia, Qualcomm, and other clients in the Oski booth #2319 and partner booths at the Design Automation Conference (DAC) June 25-27, at Moscone West Center, San Francisco. These presentations will demonstrate how Oski Formal™, a unique Application-Specific Formal Verification Methodology, was used to uncover simulation-resistant superbugs to reach predictable verification sign-off. Among topics discussed will be cache coherence, system-level deadlock, and architectural formal verification. Theater seating is limited so pre-registration is encouraged. For full details and registration visit the Oski web site at http://www.oskitechnology.com/oski_dac.

Superbug Risk Assessment at DAC

The stumbling of Moore’s Law has led to the rise of simulation-resistant superbugs affecting a wide range of design domains including CPUs, GPUs, networking, wireless, functional safety, machine learning and artificial intelligence (AI). These superbugs are often application-specific and nearly impossible to detect using traditional methods. Oski will provide attendees a complimentary Superbug Risk Assessment to identify and rank simulation-resistant superbug vulnerabilities in their designs. These assessments will help managers and design teams determine the best verification strategy to eliminate superbugs without delaying time-to-market. Assessments will be done in a private suite under NDA to ensure design feature privacy. To schedule time with an Oski expert, visit http://www.oskitechnology.com/DAC-superbug-risk-assessment.

More Ways to Learn About Oski Formal at DAC

Designers can learn more about how Oski Formal is used to restore verification sign-off predictability.

Mentor Verification Academy
Presentation: “Superbugs: Leveraging Formal Verification to Combat Simulation Resistant Bugs”
Date/Time: June 26, 4:00 PM
Location: Mentor Verification Academy booth #1622 Level 1

Cadence Theater
Presentation: Architectural Formal Verification of a Coherency Manager
Date/Time: June 25, 10:30 AM
Location: Cadence booth #1308 Level 1

Designer Track Poster
Title: “Architectural Formal Verification of a Cache Coherence Manager”
Presenter: Nvidia, Oski Technology
Date/Time: June 26, 5:00 PM to 6:00 PM
Location: Level 2 Moscone West

Designer Track Session
Title: “Formal Sign-off Meets Real-World Tape Out Schedules”
Presenters: Oski Technology, Qualcomm
Date/Time: June 27, 4:30 PM to 6:00 PM
Location: Room 2012 Level 2

For more information about Oski’s ability to solve critical verification challenges, go to:

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 to accelerate 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.

The Oski logo, Oski Formal, Decoding Formal Club, End-to-End Formal, Formal Sign-off, and Oski Abstraction Models are trademarks of Oski Technology. All other marks are the property of their respective owners.

Engage with Oski at:

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



Oski Technology
Rob van Blommestein, 408-201-3018
Vice President of Marketing
Email Contact
Public Relations for Oski Technology
Michelle Clancy, 408-501-8829
Email Contact

Review Article Be the first to review this article

Featured Video
Sr. Application Engineer for Mentor Graphics at Fremont, California
Senior Software Architect Internet for EDA Careers at San Jose, California
Salesforce Technical Lead   East Coast  for EDA Careers at Cherry Hill, New Jersey
Senior Account Managers… FORMAL VERIFICATION...VALLEY for EDA Careers at San Jose, California
Hardware Engineer, Board Design for Arista Networks at Santa Clara, 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
TrueCircuits: DDR 4/3

© 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