Oski Technology to Host Decoding Formal Club for Formal Verification Enthusiasts


April 21 Agenda Includes Panel on Building Formal Team, Presentation on Formal Test Planning

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

WHAT : Will host the Decoding Formal Club, the latest in a series of meetings dedicated to fostering formal idea sharing among formal verification enthusiasts. It will include a panel moderated by Harry Foster, chief verification scientist at Mentor Graphics, titled, “Building a Formal Team.”Also on the agenda, which includes lunch, is a presentation from Oski on “Formal Test Planning” and a self-guided tour of the Computer History Museum.

WHEN : Monday, April 21, from 10 a.m. until 2 p.m.

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

To register for the Decoding Formal Club, visit: www.oskitechnology.com/decodingformal.

More information about Oski Technology can be found at: www.oskitechnology.com




Review Article Be the first to review this article

ALDEC:

Featured Video
Editorial
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Reverie: All That Glitters is not Past
More Editorial  
Jobs
SoC Design Engineer for Intel at Santa Clara, CA
FAE FIELD APPLICATIONS SAN DIEGO for EDA Careers at San Diego, CA
Digital and FPGA Hardware Designer for Giga-tronics Incorporated at San Ramon, CA
Technical Support Engineer for EDA Careers at Freemont, CA
Senior Physical Design Engineer for Ambiq Micro at Austin, TX
Technical Marketing Manager Valley for EDA Careers at San Jose, CA
Upcoming Events
European 3D Summit 2017 at 3, parvis Louis Néel 38054 Grenoble France - Jan 23 - 25, 2017
3D Printing Electronics Conference at High Tech Campus 1, 5656 Eindhoven Eindhoven Netherlands - Jan 24, 2017
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
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