Oski to Exhibit Formal Verification Methodology at DVCon 2013, Feb. 26 – 28.
Oski Technology CEO Vigyan Singhal will be one of the presenters on the DVCon 2013 expert panel “Best Practices in Formal Verification” in the Pine/Cedar Ballroom 12:00pm-1:15pm on February 27. Lunch will be provided.
Event: DVCon 2013 Session, Expert Panel for “Best Practices in Formal Verification”
Time: February 28, 12:00pm-1:15pm
Venue: Pine/Cedar Ballroom, DoubleTree Hotel, San Jose, California.
Oski will be exhibiting at DVCon 2013, February 26-27, San Jose, CA. Oski is to present a video recap and Q & A of its recent groundbreaking success with the Oski Live Formal Verification Challenge wherein Oski formally verified a new design, sight unseen from NVIDIA live at DAC 2012. Oski found four corner-case bugs plus end-to-end checkers in less than 72 hours.
Oski Technology provides formal verification methodology for complex SOC designs. Oski will be at #DVCon 2013, booth #To be announced. DVCon is the leading conference on the practice of functional verification of IC designs.
Event: Oski Technology booth #805
Time: February 28, 3:30pm-6:30pm, and February 29, 4:30-7:00pm.
Venue: Oski Booth #805, DoubleTree Hotel, San Jose, California.
Visit Oski Technology at www.oskitech.com.