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
CST: Webinar Feb 16, 2017

True Circuits:

Featured Video
Editorial
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Synopsys: Is 40 the new 20?
More Editorial  
Jobs
Technical Support Engineer for EDA Careers at Freemont, CA
Development Engineer-WEB SKILLS +++ for EDA Careers at North Valley, CA
Senior DSP Architect / System Engineer for General Dynamics Mission Systems at Scottsdale, AZ
Technical Marketing Manager Valley for EDA Careers at San Jose, CA
SoC Design Engineer for Intel at Santa Clara, CA
Senior Physical Design Engineer for Ambiq Micro at Austin, TX
Upcoming Events
DesignCon 2017 at Santa Clara Convention Center Santa Clara CA - Jan 31 - 2, 2017
Embedded Neural Network Summit at San Jose CA - Feb 1, 2017
International Solid-State Circuits Conference (ISSCC) at San Francisco CA - Feb 5 - 9, 2017
Pan Pacific Microelectronics Symposium at Sheraton Poipu Kauai Resort Kauai HI - Feb 6 - 9, 2017
CST: Webinars Begin on February 9
Verific: SystemVerilog & VHDL Parsers
TrueCircuits: IoTPLL



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 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