MEDIA ALERT: Oski Technology’s Formal Verification Expertise Highlighted at DVCon with Booth Demonstrations, Technical, Poster Session Presentations, Formal Leadership Summit
Oski Formal Sign-Off Methodology, Abstraction Models to Be Showcased
SAN JOSE, CALIF. –– February 13, 2018
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.
Brian Bailey, technology editor at Semiconductor Engineering, will moderate a panel of experts that includes Singhal 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.
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: