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.
Contact: Send email to firstname.lastname@example.org
Results at DAC Insight: Formal Test Planning Tutorial June 5