DAC

Simulation-Resistant Superbugs – A Central Theme of Discussion at DAC

Design bugs brought about by the megatrend use of parallelism to keep pace with performance and efficiency demands in the wake of Moore’s Law finally have a name: “Simulation-Resistant Superbugs.” The topic of combating these superbugs took center stage with Oski at DAC. Check out our previous blog titled “Simulation-Resistant ‘Superbugs’ Are Here. Time to Rethink …

Simulation-Resistant Superbugs – A Central Theme of Discussion at DACRead More »

Decoding Formal @ DAC – Join Oski for Four Days of Formal Fun

Oski Decoding Formal Events are usually hosted at the Computer History Museum in Mountain View and have attracted lots of formal enthusiasts in the bay area. Deep formal talks from Oski, lectures given by formal experts from different companies, good networking, cool gifts and museum tours have become the signature of these events that formal …

Decoding Formal @ DAC – Join Oski for Four Days of Formal FunRead More »

Preparing for Another Challenge at DAC: Break the Testbench!

You may remember the Oski Technology Live Verification Challenge in 2012, where during the 72 hours of DAC, Oski verification engineer Chirag Agarwal formally verified a well-simulated design from NVIDIA, sight unseen, live and on camera, and found 4 corner case bugs. The challenge results exceeded everyone’s expectations, and inspired other companies to do more …

Preparing for Another Challenge at DAC: Break the Testbench!Read More »

How Long Does It Take to Formally Verify This Design?

This year at DAC, we asked attendees to participate in a guessing game – make an educated guess about how long it takes to formally verify a design based on the given design description and statistics. Here is a recap of the information provided to participants: Design Description Reorder IP packets that can arrive out …

How Long Does It Take to Formally Verify This Design?Read More »

Oski Wins Best Presentation Award at DAC 2012

Another Win for Oski Technology: Best Presentation Award DAC 2012 Jun 7, 2012 – The DAC Presentation Committed today announced the winner of the 2012 DAC User Track Best Presentation Award goes to Oski Technology and Cisco for “Deploying Model Checking for Bypass Verification”. Oski Wins Best Presentation for DAC 2012 User Track submission The …

Oski Wins Best Presentation Award at DAC 2012Read More »

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 …

Oski at DAC 2013: Decoding Formal, Demo and CompetitionRead More »