Oski at DAC 2013: Decoding Formal, Demo and Competition

Oski Launches New “Decoding Formal” Video Series at DAC 2013, Booth #718

At #DAC2013, Oski Technology will launch its exciting new “Decoding Formal” video series where CEO Vigyan Singhal shares tips and secrets on how to make the best use of formal technology in system-on-chip (SoC) design and verification. Videos will be shown hourly, starting at 9:30 a.m booth #718. Topics include:

  1. How to formally verify — and reuse — highly configurable IP designs?
  2. How to know when a formal testbench is complete?
  3. How to achieve early formal convergence with Oski Abstraction Models?

Join Oski Technology at DAC 2013, booth 718. See our Abstraction Models demo, attend an Oski “Decoding Formal” reception and compete to win prizes in the live “Decoding Formal” trivia challenge competition. The two events will be held Monday, June 3, and Tuesday, June 4, from 5:15 p.m. until 6:00 p.m. in Booth #718. Alternatively, play the Oski “Decoding Formal” Online challenge, here!