Open side-bar Menu
 Decoding Formal
Dr. Jin Zhang
Dr. Jin Zhang
Jin Zhang has over 15 years of experience working in EDA, driving the effort of bringing new products and services to market. At Oski Technology, she is responsible for Oski’s overall marketing strategy as well as business development in Asia Pacific. Prior to that, she was the General Manager at … More »

Win:1-Week Formal Test Planning Session with Oski Technology

May 8th, 2014 by Dr. Jin Zhang

Enter to Win: 1-Week Formal Test Planning Session with Oski Technology

Formal test planning is the first step to ensuring successful End-to-End formal verification and formal sign-off.

There are 3 stages in the process of formal test planning – identifying the right design blocks for formal verification (the where question); estimating the formal verification effort using key metrics (the how much question); and planning the specific formal verification tasks on the chosen designs (the what question).

A good planning session can take several weeks to analyze the design, understand formal complexity hotspots, estimate the effort and craft a workable blueprint for formal verification. However we often see engineers jumping into the act of formal verification without spending enough time in formal test planning. Without proper formal test planning, it is not possible to achieve formal sign-off.

Win a Formal Test Planning Session with Oski Technology

What: Win a one-week formal test planning session with Oski Technology

Why: The goal of this offer is to promote the practice of proper formal test planning as well as demonstrate the proper way to do so.

How to Enter:
Oski Technology will present an achievable plan on how the chosen design should be verified with formal, to achieve formal sign-off. Interested companies should select one or more designer-size blocks to be formally verified. You will need to complete a short 5-question questionnaire about the design characteristics so we can assess the applicability of formal for this design. The completed questionnaire should be submitted on or before May 20, 2014.

Contact: Send email to

Results at DAC Insight: Formal Test Planning Tutorial June 5
The winning company will be announced at DAC 2014. A certificate of participation will be presented to company representatives on June 5, during Oski Technology’s DAC Insight Tutorial Session on Formal Test Planning from 2:00pm – 4:00pm; this session is free to all DAC registrants.

• Exact time of service will be determined based on mutually agreed-upon dates.
• The deliverable will be supplied on an as-is basis.
• Winner must schedule the formal test planning session within one year of winning, by June 5, 2015.

Related posts:

Tags: , , ,

Category: Blog

Leave a Reply

Your email address will not be published. Required fields are marked *



TrueCircuits: IoTPLL

Internet Business Systems © 2018 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
TechJobsCafe - Technical Jobs and Resumes EDACafe - Electronic Design Automation GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise