MEDIA ALERT:Oski Technology Kicks-Off 2015 Series of Decoding Formal Club Meetings February 9

Agenda includes Presentations on Variety of Formal Verification Topics 

MOUNTAIN VIEW, CALIF. –– January 20, 2015 –– (reminder January 27)

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

WHAT: Kicks-off the 2015 Series of Decoding Formal Club meetings, a 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

WHEN: Monday, February 9, from 11:30a.m. until4:15p.m.

WHERE:  Computer History Museum, Mountain View, Calif. Pre-registration isrequired.

The Agenda:

  • Vigyan Singhal, Oski’s chief executive officer, will address constraint management in Formal Sign-off
  • NVIDIA Principal Engineer Jon Michelson, co-author of “The Art of Verification with SystemVerilog Assertions” and “The Art of Verification with Vera,” will discuss “A Practical Viewpoint on Liveness versus Safety”
  • Ross Weber, formal verification engineer at ARM and author of the best paper award at the Jasper User Group 2014, will present formal verification on a new CPU project at ARM
  • And, special invited guest TED Talk SpeakerCliff Stoll of Newfield Wireless and Acme Klein Bottles will demonstrate how to make a Klein Bottle 

Registration information for the Decoding Formal Club can be found at: http://tiny.cc/szfjsx

The Oski Technology website is located 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-offMethodology 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.




Review Article Be the first to review this article
Featured Video
Editorial
Jeff RoweJeff's MCAD Blogging
by Jeff Rowe
GE Additive’s Big Plans For Metal AM
Jobs
ECAD Designer - Data Connectivity for Delphi at Auburn Hills, MI
Mechanical Engineer II - Requisition ID 090445 for L3 Technologies at New York, NY
Estimator / Bidder for Rulon International at Saint Augustine, FL
Upcoming Events
33rd Annual Coordinate Metrology Society Conference at Snowbird UT - Jul 17 - 21, 2017
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



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