Oski Technology will be presenting a video recap 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, finding four corner-case bugs plus end-to-end checkers in less than 72 hours. Oski Technology will be exhibiting at ARM TechCon 2013 Chip Design Day, Tuesday Oct 30, San Jose, CA.
Oski Technology provides formal verification methodology for complex SOC designs. Oski verifies ARM-based designs both for ARM AMBA AXI protocol compliance, and ACE cache coherence. Oski will be at #ARM 2012, booth 49. ARM TechCon is the leading conference on the practice of functional verification of IC designs.
The 2012 ARM TechCon Expo offers attendees a unique opportunity to learn about technology solutions, which can lead to better and correct decision making in product and vendor selections. Chip Design Day is a one-day intensive conference for chip design teams working with ARM silicon IP and tools, and the only conference dedicated to the ARM architecture.
Time: ARM TechCon Chip Design Day exhibits are open October 30, 10:30am-7:00pm
Venue: Oski Booth #49, Santa Clara Convention Center, California.
Visit Oski Technology at www.oskitech.com.