SESSION 5
REGULAR SESSION: Formal/Semiformal Methods - I
Moderator: Dan Benua - Synopsys, Inc.
__________________________________________________________
| 5.1 | Formal Methods to Verify the Power Manager for an Embedded Multiprocessor Cluster | |
| Speaker: | Kesava R. Talupuru - MIPS Technologies, Inc. |
|
| Author: | Kesava R. Talupuru - MIPS Technologies, Inc. |
|
| 5.2 | Combining Simulation with Formal Techniques to Reduce the Overall Verification Cycle | |
| Speaker: | Gaurav Gupta - Synopsys, Inc. |
|
| Authors: | Aneet Agarwal - Texas Instruments, Inc. Gaurav Gupta - Synopsys, Inc. |
|
| 5.3 | Designers Work Less with Quality Formal Equivalence Checking | |
| Speaker: | Michael Lifshits - Intel Corp. |
|
| Authors: | Orly Cohen - Intel Corp. Moran Gordon - Intel Corp. Michael Lifshits - Intel Corp. Alexander Nadel - Intel Corp. Vadim Ryvchin - Intel Corp. |
|