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
Synopsys: Custom Compiler

ALDEC:

Featured Video
Editorial
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Reverie: All That Glitters is not Past
More Editorial  
Jobs
Technical Support Engineer for EDA Careers at Freemont, CA
Senior Physical Design Engineer for Ambiq Micro at Austin, TX
Digital and FPGA Hardware Designer for Giga-tronics Incorporated at San Ramon, CA
Development Engineer-WEB SKILLS +++ for EDA Careers at North Valley, CA
Technical Marketing Manager Valley for EDA Careers at San Jose, CA
FAE FIELD APPLICATIONS SAN DIEGO for EDA Careers at San Diego, CA
Upcoming Events
Zuken Innovation World 2017, April 24 - 26, 2017, Hilton Head Marriott Resort & Spa in Hilton Head Island, SC at Hilton Head Marriott Resort & Spa Hilton Head Island NC - Apr 24 - 26, 2017
2017 IoT Developers Conference at Santa Clara Convention Center California - Apr 26 - 27, 2017
CST: Webinars Begin on February 9



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