Open side-bar Menu
 Decoding Formal
Pippa Slayton
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 2014

February 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

DVCon 2014 logo

Related posts:

Tags: , , , , , , ,

Category: Blog

Leave a Reply

Your email address will not be published. Required fields are marked *


DownStream: Solutions for Post Processing PCB Designs
TrueCircuits: IoTPLL

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:
TechJobsCafe - Technical Jobs and Resumes EDACafe - Electronic Design Automation GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise