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
Desktop Metal Shows AM Mettle
Jobs
Mechanical Engineer II - Requisition ID 090445 for L3 Technologies at New York, NY
ECAD Designer - Data Connectivity for Delphi at Auburn Hills, MI
Estimator / Bidder for Rulon International at Saint Augustine, FL
Upcoming Events
EMO Hannover 2017 at Hannover Germany - Sep 18 - 23, 2017
The 30th Annual Integrated Process Excellence Symposium & Training at Wyndham Grand Bonnet Creek Resort Orlando FL - Sep 18 - 20, 2017
Additive Manufacturing Conference 2017 at Knoxville Convention Center 701 Henley Street Knoxville TN - Oct 10 - 12, 2017
FABTECH 2017 at McCormick Place Chicago IL - Nov 6 - 9, 2017
MasterCAM



Internet Business Systems © 2017 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