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
Aldec

 Advanced Asembly

Featured Video
Latest Blog Posts
Bob Smith, Executive DirectorBridging the Frontier
by Bob Smith, Executive Director
What’s on Tap from the ESD Alliance? Plenty! Read On …
Anupam BakshiAgnisys Automation Review
by Anupam Bakshi
Automating IP and SoC Development
Jobs
Principle Engineer (Analog-Mixed-Signal Implementation) for Global Foundaries at Santa Clara, California
Senior Staff Field Application Engineer for Global Foundaries at Santa Clara, California
Technical Product Manager- SISW-EDA 238452 for Siemens AG at Fremont, California
Staff SerDes Applications Design Engineer for Xilinx at San Jose, California
SerDes Applications Design Engineer for Xilinx at San Jose, California
Pre-silicon Design Verification Engineer for Intel at Santa Clara, California
Upcoming Events
Simulation World at United States - Apr 20 - 21, 2021
Virtual ASMC 2021 at United States - May 10 - 12, 2021
DVCon China 2021 at Shanghai China - May 26, 2021
CadenceLIVE Americas 2021 at United States - Jun 8 - 9, 2021
True Circuits PHY



© 2021 Internet Business Systems, Inc.
670 Aberdeen Way, Milpitas, CA 95035
+1 (408) 882-6554 — 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 PolicyAdvertise