SESSION 8
REGULAR SESSION: Formal/Semiformal Methods - II
Moderator: Erik Seligman - Intel Corp.
__________________________________________________________
| 8.1 | Reusing Testbench Components in a Hybrid Simulation-Formal Environment | |
| Speaker: | Ritero Chi - Entropic Communications, Inc. |
|
| Authors: | Ritero Chi - Entropic Communications, Inc. Xiaolin Chen - Synopsys, Inc. |
|
| 8.2 | Using Model Checking to Prove Constraints of Combinational Equivalence Checking | |
| Speaker: | Mark Eslinger - Mentor Graphics Corp. |
|
| Authors: | Xiushan Feng - Advanced Micro Devices, Inc. Joseph Gutierrez - Advanced Micro Devices, Inc. Mel Pratt - Mentor Graphics Corp. Mark Eslinger - Mentor Graphics Corp. Noam Farkash - Mentor Graphics Corp. |
|
| 8.3 | An Experience of Complex Design Validation: How to Make Semiformal Verification Work | |
| Speaker: | Michael Lifshits - Intel Corp. |
|
| Authors: | Sabih Agbaria - Intel Corp. Dan Carmi - Intel Corp. Orly Cohen - Intel Corp. Dmitry Korchemny - Intel Corp. Michael Lifshits - Intel Corp. Alexander Nadel - Intel Corp. |
|