SESSION 7
REGULAR SESSION: Potpourri
Moderator: Joanne DeGroat - The Ohio State Univ.
__________________________________________________________
| 7.1 | Where OOP Falls Short of Verification Needs | |
| Speaker: | Matan Vax - Cadence Design Systems, Inc. |
|
| Author: | Matan Vax - Cadence Design Systems, Inc. |
|
| 7.2 | Source Control…$100; Regression Script…$500; Good Automated Release Steps…$Priceless | |
| Speaker: | Jeffrey Wren - Paradigm Works, Inc. |
|
| Author: | Jeffrey Wren - Paradigm Works, Inc. |
|
| 7.3 | Automatic Verification for Assertion Based Verification: How Can a SPIRIT IP-XACT Extension Help? | |
| Speaker: | Sofiene Mejri - STMicroelectronics |
|
| Authors: | Sofiene Mejri - STMicroelectronics Mirella Negro Marcigaglia - STMicroelectronics |
|