Oski Technology to Host Decoding Formal Verification Training Day during Design Automation Conference

June 9 Training Day Sponsored by Synopsys will Cover Achieving Formal Sign-off

MOUNTAIN VIEW, CALIF. –– April 12, 2016 (reminder May 10) –– 

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

WHAT: Will host its comprehensive Decoding Formal Training Day on “Achieving Formal Sign-off”

WHEN: Thursday, June 9, from 10 a.m. until 5 p.m. It will be held in conjunction with the 53rd Design Automation Conference (DAC) June 5-9.

WHERE:  Hilton Hotel, Austin, 500 East 4th Street, Austin, Texas

SPONSOR: Synopsys, Inc.

The Decoding Formal Training Day is intended for engineers who want to learn how to use formal verification more efficiently and the techniques to adopt a formal sign-off methodology. The Training Day is an abbreviated version of Oski’s two-week Advanced Formal Training.

A complete agenda will be announced in May, and would include topics around achieving Formal Sign-Off, such as writing end-to-end formal checkers, handling formal complexity, using abstraction models and managing constraints efficiently, and using formal coverage

The event is open to a limited number of attendees. The registration fee is $199, including lunch. To register, go to: http://bit.ly/1VOfyUF

For more information about Oski Technology, visit: www.oskitechnology.com

Details about DAC can be found at: www.dac.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

True Circuits:

Featured Video
Editorial
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Retail Therapy: Jump starting Black Friday
Peggy AycinenaIP Showcase
by Peggy Aycinena
REUSE 2016: Addressing the Four Freedoms
More Editorial  
Jobs
Development Engineer-WEB SKILLS +++ for EDA Careers at North Valley, CA
ACCOUNT MANAGER MUNICH GERMANY EU for EDA Careers at MUNICH, Germany
FAE FIELD APPLICATIONS SAN DIEGO for EDA Careers at San Diego, CA
AE-APPS SUPPORT/TMM for EDA Careers at San Jose-SOCAL-AZ, CA
Manager, Field Applications Engineering for Real Intent at Sunnyvale, 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
CST Webinar Series
Verific: SystemVerilog & VHDL Parsers
TrueCircuits: IoTPLL



Internet Business Systems © 2016 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