Decoding Formal Club Hosted by Oski Technology will Feature Panel of Formal Verification Experts, CheckMate Session, Formal Coverage Presentation

Formal Verification Enthusiasts Encouraged to Attend Meeting at Parcel 104 in Santa Clara, Calif., February 29 to Share Ideas, Advance Formal Adoption

MOUNTAIN VIEW, CALIF. –– February 18, 2016 –– Oski Technology, Inc., the only dedicated formal verification service provider

WHAT: Will host the Decoding Formal Club, 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. It will be sponsored by Synopsys.

WHEN: Monday, February 29, beginning with lunch and networking at 11:30 a.m., with a full program running from 12:30 p.m. until 4 p.m.

WHERE:  Parcel 104 at the Santa Clara Marriott, 2700 Mission College Blvd., Santa Clara, Calif.

The program will begin at 12:30 p.m. with a panel titled, “Where and How to Apply Formal Verification.” It will be moderated by Brian Bailey, technical editor at Semiconductor Engineering. The panel of experts includes:

Ashish Darbari
Principal Engineer
Imagination Technologies

Stuart Hoad
Lead Engineer
PMC-Sierra (now Microsemi)

Normando Montecillo
Associate Technical Director
Broadcom

Roger Sabbagh
Principal Engineer
Huawei Technologies

Panelists will address where and how to apply formal verification and the factors to consider when evaluating it. They will describe which design types and blocks and methodologies work best with formal verification. These experts will attempt to define whether formal work should be undertaken within the design or verification team, or delivered by a centralized formal verification team. 

Results of the Oski Chessboard Challenge, where Oski challenged the Semiconductor Industry to use formal verification tools to solve a chessboard puzzle, will be shared by Anshul Jain, an engineer at Oski Technology. The session, “CheckMate,” will conclude with an award ceremony.

Vigyan Singhal, Oski’s president and chief executive officer, closes the day with a talk on Formal Coverage

Pre-registration is required. Registration information for the Decoding Formal Club can be found at: http://bit.ly/1Lqc1nZ

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-off Methodology 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

###

 

Formal Sign-off Methodology is a trademark of Oski Technology, Inc. All trademarks and registered trademarks are the property of their respective owners.




Review Article Be the first to review this article
Featured Video
Editorial
Latest Blog Posts
Joseph LopezPROSTEP INC Blog
by Joseph Lopez
OpenPDM MIGRATE supports Windchill Bulk Migrator
Roberto FrazzoliMCADCafe Editorial
by Roberto Frazzoli
A closer look at CCE’s EnSuite – Cloud ReVue LiveLink
Jobs
Director, Industrial Machinery Solutions- SISW PLM for Siemens AG at Livonia, Michigan
Product Design Engineer - Softgoods for Apple Inc at Cupertino, California
Assistant Professor in Applied GIS for University of San Diego at San Diego, California
GIS Specialist for Schneider Geospatial at Indianapolis, Indiana
ASIC Architects and Hardware Engineers at D. E. Shaw Research for D. E. Shaw Research at New York, New York
Senior Highway Engineer for RS&H at Jacksonville, Florida
Upcoming Events
WESTEC Online at Online CA - Sep 21 - 23, 2021
Canadian Manufacturing Technology Show 2021 at The International Centre (Hall 2) 6900 Airport Road Mississauga, Ontario L4V 1E8 Canada - Oct 4 - 7, 2021
Houstex 2021 at George R. Brown Convention Center Houston TX - Oct 5 - 7, 2021
Autodesk University 2021 | Free digital conference at United States - Oct 5 - 14, 2021



© 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 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 PolicyAdvertise