Oski Technology to Showcase Its Industry-Proven Formal Sign-Off Methodology at DAC


Oski Technology (www.oskitech.com), the world's only dedicated formal verification services provider


Will demonstrate Oski Formal Sign-off Methodology during the 50th Design Automation Conference (DAC) in Booth #718


Monday, June 3, through Wednesday, June 5, from 9 a.m. until 6 p.m. daily


The Austin Convention Center in Austin, Texas

The demonstration will showcase the benefits of applying custom Abstraction Models during formal analysis to reach deeper search depth and achieve faster proof. It will show how the Oski Formal Methodology, coupled with end-to-end checkers and formal coverage, makes formal sign-off possible.

Oski Technology will launch its "Decoding Formal" video series where Vigyan Singhal, Oski's chief executive officer, 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. Topics include:

•How to formally verify -- and reuse -- highly configurable IP designs

•How to know when a formal testbench is complete

•How to achieve early formal convergence with Oski Abstraction Models

DAC attendees are invited to 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. Light refreshments will be served. Alternatively, the challenge can be played online at: https://www.surveymonkey.com/s/DecodingFormal

Singhal will offer a look at Sequential Equivalence Verification at the Jasper Design Automation (www.jasper-da.com) Booth #2346 Monday, June 3, at 10 a.m. and Wednesday, June 5, at 1:30p.m. He will present "Myths and Facts about Formal" during the Mentor Verification Academy (https://verificationacademy.com) in Booth #1215 Tuesday, June 4, at 4 p.m.

For more information about Oski Technology, go to: www.oskitech.com.

Information about DAC can be found at: www.dac.com.

About Oski Technology

Oski Technology (www.oskitech.com) is a formal verification services company with expertise in deploying formal verification on complex, digital designs. Oski Technology has developed a unique formal verification methodology and Oski Abstraction Models to solve challenging capacity problems with formal verification. Its formal methods bring a higher level of productivity than traditional simulation and formal verification approaches. Oski Technology, headquartered in Mountain View, Calif., with a design center in India, has built a team of the world's foremost experts in formal verification. More information about Oski Technology can be found at: www.oskitech.com.