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
Downstream : Solutuions for Post processing PCB Designs


Featured Video
Editorial
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
H-1B Visa: de Geus’ tragedy looms large
Peggy AycinenaIP Showcase
by Peggy Aycinena
IP for Cars: Lawsuits are like Sandstorms
More Editorial  
Jobs
ASIC/FPGA Design Engineer for Palo Alto Networks at Santa Clara, CA
Technical Support Engineer EU/Germany/UK for EDA Careers at N/A, United Kingdom
Mechanical Designer/Engineer for Palo Alto Networks at Santa Clara, CA
Technical Support Engineer for EDA Careers at Freemont, CA
Lead Java Platform Engineer IOT-WEB for EDA Careers at San Francisco Area, CA
CAD/CAM Regional Account Manager (Pacific Northwest) for Vero Software Inc. at Seattle, WA
Upcoming Events
Embedded Systems Conference ESC Boston 2017 at Boston Convention & Exhibition Center Boston MA - May 3 - 4, 2017
2017 GPU Tech Conference at San Jose McEnery Convention Center 150 West San Carlos Street San Jose CA - May 8 - 11, 2017
High Speed Digital Design and PCB Layout at 13727 460 Ct SE North Bend WA - May 9 - 11, 2017
Nanotech 2017 Conference & Expo at Gaylord National Hotel & Convention Center WA - May 14 - 17, 2017
Verific: SystemVerilog & VHDL Parsers
DAC2017



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