Oski Technology’s Formal Verification Expertise Highlighted at DVCon with Booth Demonstrations, Technical, Poster Session Presentations, Formal Leadership Summit

SAN JOSE, Calif., Feb. 13, 2018 (GLOBE NEWSWIRE) --

WHO: Oski Technology, Inc., the established and trusted leader in Formal verification methodology expertise 

WHAT: Will offer in Booth #205 at DVCon demonstrations of the Oski Formal Sign-Off Methodology™ and Abstraction Models™ to achieve End-to-End Formal™ verification and complete coverage 

WHEN: DVCon Expo and Reception Monday, February 26, from 5 p.m. until 7 p.m., Tuesday, February 27, and Wednesday, February 28, from 2:30 p.m. until 6 p.m.

WHERE: DoubleTree Hotel, San Jose, Calif.

Technical Sessions

Brian Bailey, technology editor at Semiconductor Engineering, will moderate a panel of experts that includes Vigyan Singhal, Oski’s president and chief executive officer, titled, “ Help! System Coverage is a Big Data Problem!,” to identify best practices for using verification methodologies. It will be held Wednesday at 8:30 a.m. to 9:30 a.m.

During a session titled, “ Formal Verification Use Models,” Singhal will present with Qualcomm “Architectural Formal Verification of System-Level Deadlocks.” This session will be held Wednesday from 10 a.m. until noon.

Poster Session

Oski user Saurabh Shrivastava, senior manager Hardware Engineering at Cavium, will provide a case study titled, “Formal Verification of Silicon for Software Defined Networking,” during the Poster Session from 10:30 a.m. until noon.

Formal Leadership Summit

For the third consecutive year, Oski will host the Formal Leadership Summit Wednesday evening where leaders in Formal Verification will discuss the way Formal affects verification.  This year’s summit will explore how Formal is driving verification sign-off for designs across the industry.  Experts will address trends where applications are finding success with Formal, how adoption is growing and current challenges facing engineers. A post event summary will be published.

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

Formal Sign-Off Methodology, End-to-End Formal and Abstraction Models are trademarks of Oski Technology, Inc. All trademarks and registered trademarks are the property of their respective owners. 

For more information, contact:
Rob van Blommestein Nanette Collins
Vice President of Marketing at Oski Technology Public Relations for Oski Technology
(408) 201-3018 (617) 437-1822
Email Contact Email Contact


Review Article Be the first to review this article

Featured Video
Senior Electrical Engineer for Allen & Shariff Corporation at Pittsburgh, Pennsylvania
Upcoming Events
SEMICON Southeast Asia 2018 at New Malaysia International Trade & Exhibition Centre (MITEC) Kuala Lumpur Malaysia - May 22 - 24, 2018
Methodics User Group Meeting at Maxim Integrated 160 Rio Robles San Jose CA - Jun 5 - 6, 2018
IEEE 5G World FOrum at 5101 Great America Parkway Santa Clara CA - Jul 9 - 11, 2018
PCB WEST 2018 Conference & Exhibition at Santa Clara Convention Center Santa Clara CA - Sep 11 - 13, 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