Oski Technology Inc.

Events

DVCon 2012, February 28-29 & Tutorial March 1, San Jose, CA


Oski DVCon Tutorial Session: Using “Apps” to Take Formal Analysis Mainstream

Oski Technology CEO Vigyan Singhal will be presenting at a #DVCon tutorial session on how Oski is using “apps” to take formal, mainstream.

Date: March 1
Time: 8:30pm-12:00pm
Web: DVCon Tutorial: Using Apps to Take Formal Analysis Mainstream

Oski to Exhibit Formal Verification Methodology at DVCon 2012, Feb. 28 – March 3.

Oski Technology will showcase its industry-leading formal verification methodology for complex SOC designs at #DVCon 2012, booth #805. DVCon is the leading conference on the practice of functional verification of IC designs.

Time: DVCon exhibits are open 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 , , , , , , , , , ,

HVC 2011, December 6-8, Haifa, Israel


Oski to Present Paper at HVC 2011

Oski Technology is presenting a paper at HVC 2011, the seventh in the series of annual conferences dedicated to advancing the state-of the-art and state-of-the-practice in verification and testing of hardware and software.

When: Day 3 of HVC 2011, December 8, 2011, 4pm
Where: Haifa, Israel
Paper: Liveness vs. Safety – A Practical Viewpoint
Authors: B. A. Krishna (Chelsio), Jon Michelson (Cisco), Vigyan Singhal (Oski), Alok Jain (Cadence)

HVC 2011

Visit Oski Technology at www.oskitech.com.

Tagged , , , , , , , , , ,

CAV 2011, July 14-20, Snowbird, UT


Oski Presents Invited Talk at CAV 2011

Oski’s Vigyan Singhal gave an invited talk to the formal verification research audience at CAV 2011 (July 14-20, Snowbird, UT), the 23rd Conference on Computer-Aided Verification, and the premier research conference on the theory and practice of computer-aided methods for the formal verification of hardware and software systems.

Shaz Qadeer asks a question at Vigyan's talk, hosted by Ken McMillan of Microsoft Research

Shaz Qadeer asks a question at Vigyan's CAV talk, hosted by Ken McMillan of Microsoft Research

Date & Time: July 18, Monday 11:00-12:00
Session 3 Invited talk: Vigyan Singhal
Title: Deploying Formal in a Simulation World

Vigyan’s presentation described how formal verification can be deployed using simulation-based coverage in a simulation-based verification schedule. The audience consisted of leading researchers from the academia and the industry.

Visit Oski Technology at www.oskitech.com.

Tagged , , , , , ,

Cadence Club Formal, May 24, 2011, San Jose, CA


Oski Presentation and Panel at the Cadence Club Formal

Cadence Design Systems hosts a Club Formal event series, focussed on a deep dive on formal verification topics. At this event on May 24, 2011, Oski Technology CEO Vigyan Singhal was an outside speaker, and participated on a panel along with Dan Smith of NVIDIA and Olivia Wu of Cisco.

The Oski talk covered the architecture of formal testbenches. The talk also highlighted the Plan-Verify-Measure methodology, emphasizing the need to plan before starting formal verification, and the utility of measure coverage to evaluate formal verification work at the end.

The panel provided an opportunity for the audience of formal experts and users from many semiconductor companies to quiz the panelists about the most effective strategies to deploy formal verification, and to integrate the results of formal in simulation-dominated verification design flows.

Club Formal, Spring 2011: Oski presentation on Abstractions

Oski CEO Vigyan Singhal at Club Formal on formal testbench design.

Club Formal is a series of meetings dedicated to promoting discussion around the advanced application of formal verification.

Visit Oski Technology at www.oskitech.com.

Tagged , ,

DVCon 2011, March 1-2, San Jose, CA


Oski Exhibits Formal Verification Methodology at DVCon 2011

Oski Technology exhibited for the first time at #DVCon 2011, the leading conference on the practice of functional verification of IC designs.

Oski Technology exhibits for the first time at DVCon 2011

Vigyan Singhal and Philippa Slayton of Oski Technology talk formal verification with a customer at DVCon 2011

Visit Oski Technology at www.oskitech.com.

Tagged , , , , , , , , ,

DAC 2012, June 3-7, San Francisco, CA


Oski to Exhibit at DAC 2012

Oski Technology will showcase its industry-leading formal verification methodology for complex SOC designs at #49DAC 2012, the premier EDA and the design of electronic circuits and systems.

Date: Jun. 3 – 7, 2012.
Time: DVCon exhibits are open Monday, June 4, 9:00am-6:00pm, Tuesday, June 5, 9:00am-6:00pm, and Wednesday, June 6, 9:00am-6:00pm.
Venue: Oski Booth #319, Moscone Center, San Francisco, California.
Web: Oski at DAC 2012

Visit Oski Technology at www.oskitech.com.

Tagged ,