Decoding Formal 
Pippa Slayton
Pippa Slayton is Marketing and Business Development Manager at Oski Technology. She has 8+ years experience in the high-tech industry and drives marketing campaigns, marketing strategy, product launches, social media, and community building and event program management for Oski’s formal … More » Countdown to DVCON 2014February 28th, 2014 by Pippa Slayton
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! Published February 24, 2014 at 11:38 am
Tags: #ARM, DVCon, DVCon 2014, formal and semi-formal techniques, formal sign-off, formal verification of cache coherency with ARM ACE/CHI protocols, Samsung Electronics, sign-off with bounded formal verification proof Category: Blog |
|
|
|||||
|
|
|||||
|
|||||
