Семинары разработчикам
Добавлено: 15 фев 2007, 22:37
J-Squared Technologies
is proud to present a FREE seminar on Assertion Based Verification
Events
--------------------------------------------------------------------------------
Assertion Based Verification (ABV)
Wilsonville, OR (Portland) on Tuesday Feb 20, 2007
Time: 09:00-11:30
Register Now
Assertion Based Verification (ABV)
Redmond ,WA (Seattle) on Wednesday Feb 21, 2007
Time: 09:00-11:30
Register Now
Assertion Based Verification (ABV)
Vancouver, BC (Coquitlam) on Thursday Feb 22, 2007
Time: 09:00-11:30
Register Now
Perhaps one of the most difficult tasks of any design team is determining whether or not their design has been adequately tested. While many teams utilize test plans which outline specific functionality to be exercised, they have not had the ability to collect objective metrics directly from their simulation environment. It is also difficult to ascertain whether tests that appear to run successfully in fact violate protocols or assumptions in other parts of the design that are not the focus of those tests.
Assertion Based Verification (ABV)
DATES: Feb 20-22
TIMES: 09:00-11:30
LOCATION(S):
Wilsonville, OR.
Redmond, WA
Vancouver, BC
Register Now
Assertion Based Verification (ABV) is a verification methodology that addresses these issues. This methodology utilizes "assertions" and "coverage points", which allow designers to describe intended design behavior and critical scenarios that must be exercised. These properties that are evaluated within the simulation environment to ensure that no properties have been violated and that all coverage points have been reached.
The SystemVerilog language provides a framework for describing assertions and coverage points. This new verification language has already been embraced by some of the leading technology firms around the world, and is now a common element of the tool environment of many design with significant verification challenges.
This seminar is an introduction to how assertions and coverage points are described using SystemVerilog, with examples of how to use them to improve your verification environment today. Discover the benefits of Assertion Based Verification for increased error detection and isolation as well as overall debug productivity
Beverages and pastries will be supplied.
Looking forward to seeing you there.
Sincerely,
Jason Johnson
J-Squared Technologies Inc.
--------------------------------------------------------------------------------
email: jasonj@jsquarednw.com
phone: (360)727-0036
web: http://www.jsquared.com
is proud to present a FREE seminar on Assertion Based Verification
Events
--------------------------------------------------------------------------------
Assertion Based Verification (ABV)
Wilsonville, OR (Portland) on Tuesday Feb 20, 2007
Time: 09:00-11:30
Register Now
Assertion Based Verification (ABV)
Redmond ,WA (Seattle) on Wednesday Feb 21, 2007
Time: 09:00-11:30
Register Now
Assertion Based Verification (ABV)
Vancouver, BC (Coquitlam) on Thursday Feb 22, 2007
Time: 09:00-11:30
Register Now
Perhaps one of the most difficult tasks of any design team is determining whether or not their design has been adequately tested. While many teams utilize test plans which outline specific functionality to be exercised, they have not had the ability to collect objective metrics directly from their simulation environment. It is also difficult to ascertain whether tests that appear to run successfully in fact violate protocols or assumptions in other parts of the design that are not the focus of those tests.
Assertion Based Verification (ABV)
DATES: Feb 20-22
TIMES: 09:00-11:30
LOCATION(S):
Wilsonville, OR.
Redmond, WA
Vancouver, BC
Register Now
Assertion Based Verification (ABV) is a verification methodology that addresses these issues. This methodology utilizes "assertions" and "coverage points", which allow designers to describe intended design behavior and critical scenarios that must be exercised. These properties that are evaluated within the simulation environment to ensure that no properties have been violated and that all coverage points have been reached.
The SystemVerilog language provides a framework for describing assertions and coverage points. This new verification language has already been embraced by some of the leading technology firms around the world, and is now a common element of the tool environment of many design with significant verification challenges.
This seminar is an introduction to how assertions and coverage points are described using SystemVerilog, with examples of how to use them to improve your verification environment today. Discover the benefits of Assertion Based Verification for increased error detection and isolation as well as overall debug productivity
Beverages and pastries will be supplied.
Looking forward to seeing you there.
Sincerely,
Jason Johnson
J-Squared Technologies Inc.
--------------------------------------------------------------------------------
email: jasonj@jsquarednw.com
phone: (360)727-0036
web: http://www.jsquared.com