MEDIA ALERT: 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.