Oski Technology Nabs 2012 DAC User Track Best Presentation Award

July 26, 2012 — EVE

Formal verification services provider Oski Technology (www.oskitech.com) was jointly presented with the coveted 2012 (DAC) User Track Best Presentation Award (www.dac.com/dac+2012.aspx) for the paper, "Deploying Model Checking for Bypass Verification."

Vigyan Singhal, Oski's president and chief executive officer, presented the paper during the User Track's Practical Formal Methods Session. Oski authors were Singhal and Staff Engineer Prashant Aggarwal.

The paper was selected from close to 150 submissions, of which 37 were selected for presentations and six nominated as Best Presentation finalists. It describes how a formal verification approach called model checking was used to establish correctness of bypass logic in networking and processors designs. They detailed how adding bypass logic increased system performance, but significantly increased verification complexity.

"Our paper shows how, by themselves, neither simulation nor formal verification can finish verification for a given project schedule," says Oski's Vigyan Singhal. "A judicious balance of simulation and formal can completely address the verification problem, covering all corner-case bugs, for a commonly used, but hard-to-verify design transformation."

DAC was held last month in San Francisco. Its User Track is a key part of the technical conference program, offering a unique opportunity for IC designers to hear from industry experts on a variety of topics.

 

About Oski Technology

 

Oski Technology 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.

 

Topics covered in this article

Close

Subscribe to EDA updates