 |
|
|
|
|
THURSDAY, July 27, 2006, 4:30 PM - 6:00 PM | Room: 305 |
|
TOPIC AREA: VERIFICATION AND TEST
|
| |
SESSION 60
|
| | Bounded Model Checking and Equivalence Verification
|
| | Chair: Gagan Hasteer - Calypto Design Systems, Inc., Santa Clara, CA
|
| | Organizers: Anmol Mathur, Avi Ziv
|
| | This session groups two papers on equivalence checking with two papers on bounded property checking. One equivalence paper compares very high-level descriptions to RTL, and the other extracts RTL from transistor models of FPGAs. The bounded property checking papers propose automatic heuristics for guiding BDD-based state-space exploration and deriving invariants to improve model checking efficiency.
|
| | 60.1 |
Early Cutpoint Insertion for High-Level Software vs. RTL Formal Combinational Equivalence Verification
|
| | Speaker(s): | Xiushan Feng - Univ. of British Columbia, Vancouver, BC
|
| | Author(s): | Xiushan Feng - Univ. of British Columbia, Vancouver, BC
Alan J. Hu - Univ. of British Columbia, Vancouver, BC
|
| | 60.2s | Transistor Abstraction for the Functional Verification of FPGAs |
| | Speaker(s): | Guy Dupenloup - Altera Corp., San Jose, CA
|
| | Author(s): | Guy Dupenloup - Altera Corp., San Jose, CA
Thierry Lemeunier - Altera Corp., San Jose, CA
Roland Mayr - Altera Corp., San Jose, CA
|
| | 60.3s | Automatic Invariant Strengthening to Prove Properties in Bounded Model Checking |
| | Speaker(s): | Mohammad H. Awedh - Univ. of Colorado, Boulder, CO
|
| | Author(s): | Mohammad H. Awedh - Univ. of Colorado, Boulder, CO
Fabio Somenzi - Univ. of Colorado, Boulder, CO
|
| | 60.4 | Fast Falsification Based on Symbolic Bounded Property Checking |
| | Speaker(s): | Prakash M. Peranandam - Univ. of Tuebingen, Tuebingen, Germany
|
| | Author(s): | Prakash M. Peranandam - Univ. of Tuebingen, Tuebingen, Germany
Pradeep K. Nalla - Univ. of Tuebingen, Tuebingen, Germany
Juergen Ruf - Univ. of Tuebingen, Tuebingen, Germany
Roland J. Weiss - Univ. of Tuebingen, Tuebingen, Germany
Thomas Kropf - Univ. of Tuebingen, Tuebingen, Germany
Wolfgang Rosenstiel - Univ. of Tuebingen, Tuebingen, Germany
|
|
Technical Session
