Oski Technology to Host Decoding Formal Club October 21 at Computer History Museum

Speakers will Address How to Ensure Completeness of End-to-End Formal Testbench for Sign-Off

MOUNTAIN VIEW, CALIF. October 6, 2015 –

WHAT: The next Decoding Formal Club will address "How to Ensure Completeness of End-to-End Formal Testbench for Sign-Off”

WHO: Will be hosted byOski Technology, Inc., the only dedicated formal verification service provider, and sponsored by Synopsys

WHEN: Wednesday, October 21, from noon until 4 p.m.

WHERE: Computer History Museum, Mountain View, Calif. Pre-registration is required.

The Agenda

  • Vikas Chandra, principal engineer at ARM, will present “Mobile Hardware Security”
  • Prashant Aggarwal, principal engineer with Oski Technology, will offer a look at “How to Ensure the Completeness of End-to-End Formal for Sign-off”
  • Kenny Xing, principal design engineer from Broadcom, will describe “Creative Formal Techniques to Verify PCache”
  • Yogesh Mahajan, engineer at NVIDIA, and Oski’s CEO Vigyan Singhal will review “Compositional Reasoning Gotchas in Practice”

The Decoding Formal Club series is a regularly scheduled forum for formal verification enthusiasts, pioneers and leaders who work to promote the sharing of ideas, advancement of formal technology, and adoption of formal sign-off.

To register for the Decoding Formal Club, go to: http://bit.ly/1G3qof8

More information about Oski Technology can be found at: www.oskitechnology.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


Contact:

Nanette Collins
Public Relations for Oski Technology
(617) 437-1822
Email Contact




Review Article Be the first to review this article

Featured Video
Editorial
Jeff RoweJeff's MCAD Blogging
by Jeff Rowe
Re-Use Your CAD: The ModelCHECK Handbook
Jobs
Business Partner Manager for Cityworks - Azteca Systems, LLC at Sandy, UT
Upcoming Events
Design & Manufacturing, Feb 7 - 9, 2017 Anaheim Convention Center, Anaheim, CA at Anaheim Convention Center Anaheim CA - Feb 7 - 9, 2017
Innorobo 2017 at Docks de Paris Paris France - May 16 - 18, 2017
Display Week 2017 at Los Angeles Convention Center 1201 S Figueroa St Los Angeles CA - May 21 - 26, 2017
SolidCAM: Program your CNCs directly inside your existing CAD system.



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 EDACafe - Electronic Design Automation GISCafe - Geographical Information Services TechJobsCafe - Technical Jobs and Resumes ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy Advertise