Maximize the power of formal
verification to enable innovative SoC
designs and Formal Sign-offTM!
The countdown to DVCon 2014 has begun! With more exhibitors and attendees than ever before, new programs and technical sessions, longer exhibit hours, DVCon 2014 is shaping up to be another outstanding event for the industry.
At Oski Technology, we are excited to offer many opportunities to connect with verification experts in the industry at DVCon – share ideas, discuss problems and solutions related to formal technology and formal sign-off methodology.
• Monday March 3rd 5:00 – 7:00pm, Oski will join the inaugural DVCon Booth Crawl and offer healthy stacks – nuts, veggie sticks and wine, while we enjoy great conversations. Come and chat at the Oski booth #305.
• Tuesday March 4th 9:00am, Oski CEO, Vigyan Singhal, will present “Sign-off with Bounded Formal Verification Proofs”, a paper coauthored with NamDo Kim and Junhyuk Park from Samsung Electronics Co. and HarGovind Singh from Oski in Session 2 “Formal and Semi-Formal Techniques” in the Fir Ballroom. Come and learn how to overcome formal complex and achieve sign-off using bounded proofs.
• Tuesday March 4th 10:30-11:30am, Vigyan will join the “Semiconductor Engineering Experts at the Table Discussion” in the 2nd floor press room. Discussion will cover the maturing of formal technology and the broadening of its application into an increasing number of areas. A very important topic discussion for all.
• Thursday March 6th, 2:00-5:00pm, Vigyan will offer a tutorial on “Formal Verification of Cache Coherency with the ARM ACE/CHI Protocols“ in Session “Formal Verification in Practice: Technology, Methodology and Applications” organized by Mentor Graphics in Siskiyou Ballroom. Attendees of this tutorial will learn how formal-based technologies are boosting verification efficiency across multiple domains.
Oski will be there during all exhibit hours: Monday March 3, 5:00-7:00pm, Tuesday March 4, 2:30 – 6:00pm, and Wednesday March 5, 2:30-6:00pm. Look for the Oski gold booth!
We look forward to seeing you at DVCon 2014!