Oski Technology Inc.

Events

DVCon 2013, February 26-27, San Jose, CA


Oski to Exhibit Formal Verification Methodology at DVCon 2013, Feb. 26 – 28.

Oski Technology CEO Vigyan Singhal will be one of the presenters on the DVCon 2013 expert panel “Best Practices in Formal Verification” in the Pine/Cedar Ballroom 12:00pm-1:15pm on February 27.  Lunch will be provided.

Event: DVCon 2013 Session, Expert Panel for “Best Practices in Formal Verification”
Time: February 28, 12:00pm-1:15pm
Venue: Pine/Cedar Ballroom, DoubleTree Hotel, San Jose, California.
Web: http://www.dvcon.org

Oski will be exhibiting at DVCon 2013, February 26-27, San Jose, CA.  Oski is to present a video recap and Q & A of its recent groundbreaking success with the Oski Live Formal Verification Challenge wherein Oski formally verified a new design, sight unseen from NVIDIA live at DAC 2012. Oski found four corner-case bugs plus end-to-end checkers in less than 72 hours.

Oski Technology provides formal verification methodology for complex SOC designs. Oski will be at #DVCon 2013, booth #To be announced. DVCon is the leading conference on the practice of functional verification of IC designs.

Event: Oski Technology booth #805
Time: February 28, 3:30pm-6:30pm, and February 29, 4:30-7:00pm.
Venue: Oski Booth #805, DoubleTree Hotel, San Jose, California.
Web: http://www.dvcon.org

Visit Oski Technology at www.oskitech.com.

Tagged , , , , ,

Club Formal Cadence, November 21, 2012, Yokohama, Japan


Oski Technology CEO Vigyan Singhal will talk about the use of abstraction models to solve the hardest formal verification problems. This talk is part of the Cadence Technology on Tour event on November 21, 2012 in Shin-Yokohama, Japan.

日本、新横浜で2012年11月21日に開催されるCadence Technology on Tour eventの一環として、Oski TechnologyのCEO Vigyan Singhalは、最も困難なフォーマル検証の問題を解決するためのアブストラクション・モデルの使用について話します。

Design Automation Conference (DAC), June 2 – 6, 2013, Austin, TX


Oski Technology will be presenting a video recap and Q & A of its recent groundbreaking success with the Oski Live Formal Verification Challenge wherein Oski formally verified a new design, sight unseen from NVIDIA live at DAC 2012, finding four corner-case bugs plus end-to-end checkers in less than 72 hours. Oski Technology will be exhibiting at DAC 2013, June 2 – 6, Austin TX.

Oski Technology provides formal verification methodology for complex SOC designs.

Time: DAC exhibits are open June 3-5, 2013
Venue: Oski Booth #715, Austin Convention Center, Austin, TX
DAC 2013

Tagged , , , ,

FMCAD 2013: Formal Methods in Computer-Aided Design, Oct 21-23, Portland, OR


Oski Technology will be at FMCAD 2013, the thirteenth annual series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.

FMCAD will continue from October 21 to 23, 2013.

DAC 2011 Videos: Oski Abstraction Models Scale Formal for Large Complex Designs


Oski Exhibits at #48DAC —

Oski Technology exhibited for the first time at #48DAC 2011, the premier event for the design of electronic circuits and systems, and for EDA and silicon solutions. See below for video, photos, and more about the User Track Poster Presentation, “How Formal Methodology Shrank the Verification Schedule of a Complex Statistics Block by 6x” Cisco.

DAC video: How Oski Abstractions Scale Formal, and Why Formal Can Offer 6X Speedup vs. Simulation -

Oski Technology CEO Vigyan Singhal interviewed by Richard Goering, discusses why formal verification can offer 6X speedup vs. simulation, where formal works best (or not), and how we can now display simulation and formal coverage results on the same design, using one set of metrics, for the proper integration of formal into a simulation-based verification plan.

DAC video: How Oski’s Abstractions Simplify State Space to Scale Formal

Vigyan Singhal talks with Cadence Team Verify’s Joe Hupcey at #48DAC about Oski’s unique formal verification methodology, and how Oski Abstraction Models simplify the state space to scale formal methods for large and complex designs.

DAC video: Formal Becoming a Requirement for Tapeout

EDA Cafe’s Graham Bell interviews Vigyan Singhal at DAC to discuss recent developments in how companies are applying formal, and in the integration of formal with simulation into the verification flow using shared coverage metrics for end-to-end formal verification. Singhal also talks about how integration has given rise to exciting new trends seen at #48DAC where advanced complex designs are deploying almost half the resources using formal for block-level verification, and formal is becoming requirement for tapeout.

Get Flash to see this player.

  • Link to the full Richard Goering blog post – How to Succeed with Formal – is here
  • Link to the full Cadence Team Verify blog post – Oski Technology at DAC 2011 – is here
  • Contact us to find out more about the Oski Poster Presentation “How Formal Methodology Shrank the Verification Schedule of a Complex Statistics Block by 6x” Cisco ( 2U.20).
DAC 2011 Oski & Cadence User Track Poster Presentation

Photo of co-authors Chirag Agarwal from Oski Technology (right) and Darrow Chu from Cadence (left) at DAC 2011 User Track Poster Presentation.

Schedule a Meeting with Oski

If you visited us at DAC and wish to schedule a meeting, please contact us.

Looking for DVCon videos? Click here.

DAC 2011

DAC 2011, San Diego

Tagged , , , , , , , ,