Oski Technology to Participate at DAC, Demonstrating the Oski Formal Sign-Off Methodology, Presenting Cutting-Edge Formal Strategies in DAC Session

Will Present at Design Track Session on the History Evolution of Formal Adoption, Host Decoding Formal Training Day June 9 for Engineers to Learn to Use Formal Verification More Efficiently

MOUNTAIN VIEW, CA, May 27, 2016 –– (reminder June 2) --

Oski Technology, Inc., the only dedicated formal verification service provider

WHAT: Will demonstrate the Oski Formal Sign-off Methodology™ in the Design Automation Conference (DAC) Booth #339, along with the benefits of creating a formal test plan and applying custom Abstraction Models during formal analysis

WHEN: Monday, June 6, through Wednesday, June 8, from 10 a.m. until 6 p.m.

WHERE: Austin Convention Center, Austin, Texas

Vigyan Singhal, Oski’s president and chief executive officer, will be part of a Design Track invited presentation session entitled, “How to Verify the Gordian’s Knot of System Complexity,” Wednesday from 1:30 p.m. until 3 p.m. He will discuss the history and evolution of formal adoption in the industry, from equivalence checking in the 1990s, to system level verification today.  The talk is titled “Formal Verification: From Flops to Cones to Blocks to Systems.” 

Oski will showcase the completeness of End-to-End Formal Verification at Booth #339 with a technical presentation and “live” case study. The case study will outline how a well-designed set of end-to-end checkers and associated reference models can comprise a formal testbench that reaches greater proof depths more quickly, enabling formal sign-off. It will show how abstractions and special techniques, such as symbolic variables, can be used to implement more efficient End-to-End Formal checkers. The case study will demonstrate how to leverage formal coverage to measure the completeness of a formal testbench and track formal verification progress.

Oski will host its comprehensive Decoding Formal Training Day on “Achieving Formal Sign-off” Thursday, June 9, from 10 a.m. until 5 p.m. at the Hilton Hotel, Austin. This one-day primer is based on Oski’s intensive two-week advanced formal techniques training program and provides an introduction to advanced formal techniques used for formal sign-off. The event is open to a limited number of attendees, and is sponsored by Synopsys. The registration fee of $199 includes lunch. To learn more, go to: http://bit.ly/22fHbrr

To learn more about Oski Technology, go to: www.oskitechnology.com.

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

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 Sign-off 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.oskitechnology.com

Formal Sign-off Methodology is a trademark of Oski Technology, Inc. All trademarks and registered trademarks are the property of their respective owners.

Review Article Be the first to review this article
CST Webinar Series


Featured Video
Manager, Field Applications Engineering for Real Intent at Sunnyvale, CA
Upcoming Events
SEMICON Europe at Grenoble France - Oct 25 - 27, 2016
ARM TechCon 2016 at Santa Clara Convention Center Santa Clara CA - Oct 25 - 27, 2016
Call For Proposals Now Open! at Santa Clara Convention Center, Santa Clara, CA California CA - Oct 25 - 27, 2016
DeviceWerx - 2016 at Green Valley Ranch Casino & Resort Las Vegas NV - Nov 3 - 4, 2016
S2C: FPGA Base prototyping- Download white paper

Internet Business Systems © 2016 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy