Vigyan Singhal, President and CEO of OSKI Technology talks with Graham Bell about the Live! Verification Challenge OSKI took on at the beginning of the DAC 2012 show. A never-before-seen design was delivered to OSKI from Nvidia that had over 25,000 lines of RTL code. The challenge was to verify and find bugs in the design before the end of the DAC conference. Vigyan gives an on-the-floor update of the progress made.