 |
|||||
 |
 |
 |
 |
 |
 |
|
|
|
|
|
|
|
| Wednesday, February 26, 2003 |
8:00 AM - 12:00 PM
|
|
|
||
| Presenters: Erich Marschner - Cadence Design Systems, Inc. Harry Foster - Verplex Systems, Inc. Yaron Wolfsthal - IBM Corp. Bernard Deadman - SDV Inc.
|
||
| This tutorial is comprised of two parts. In the first part, the basic principles of Sugar are described, focusing on the ease with which complex design behaviors may be described with concise, readable Sugar assertions.
In the second part of the tutorial, several applications of Sugar are presented, ranging from simple to advanced assertion-based verification solutions. These include use of Sugar for dynamic assertion checking and formal model checking, including support for environment modeling and assume/guarantee reasoning. Also discussed is the emerging use of Sugar as the basis for formally-verifiable definitions of interface protocols, leading to automatic generation of "correct by definition" verification components and interface hardware. |
||