SOURCE: Oski Technology

July 26, 2012 11:00 ET

Oski Technology Nabs 2012 DAC User Track Best Presentation Award

Offered Look at "Deploying Model Checking for Bypass Verification" During Practical Formal Methods Session

MOUNTAIN VIEW, CA--(Marketwire - Jul 26, 2012) - Formal verification services provider Oski Technology (www.oskitech.com) was jointly presented with the coveted 2012 Design Automation Conference (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 EDA 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.

All trademarks and registered trademarks are the property of their respective owners.

Contact Information

  • For more information, contact:
    Nanette Collins
    Public Relations for Oski Technology
    (617) 437-1822
    Email Contact