 | 1997 |
|---|
| 9 |       | Enrico Macii,
Bernard Plessier,
Fabio Somenzi:
Formal verification of digital systems by automatic reduction of data paths.
IEEE Trans. on CAD of Integrated Circuits and Systems 16(10): 1136-1156 (1997) |
| 1996 |
|---|
| 8 | | Hyunwoo Cho,
Gary D. Hachtel,
Enrico Macii,
Bernard Plessier,
Fabio Somenzi:
Algorithms for approximate FSM traversal based on state space decomposition.
IEEE Trans. on CAD of Integrated Circuits and Systems 15(12): 1465-1478 (1996) |
| 1994 |
|---|
| 7 | | Shipra Panda,
Fabio Somenzi,
Bernard Plessier:
Symmetry detection and dynamic variable ordering of decision diagrams.
ICCAD 1994: 628-631 |
| 6 |  | Bernard Plessier,
Gary D. Hachtel,
Fabio Somenzi:
Extended BDDs: Trading off Canonicity for Structure in Verification Algorithms.
Formal Methods in System Design 4(2): 167-185 (1994) |
| 1993 |
|---|
| 5 | | Hyunwoo Cho,
Gary D. Hachtel,
Enrico Macii,
Bernard Plessier,
Fabio Somenzi:
Algorithms for Approximate FSM Traversal.
DAC 1993: 25-30 |
| 1992 |
|---|
| 4 | | Enrico Macii,
Bernard Plessier,
Fabio Somenzi:
Verification of systems containing counters.
ICCAD 1992: 179-182 |
| 1991 |
|---|
| 3 | | Seh-Woong Jeong,
Bernard Plessier,
Gary D. Hachtel,
Fabio Somenzi:
Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms.
ICCAD 1991: 464-467 |
| 2 | | Seon-Woong Jeong,
Bernard Plessier,
Gary D. Hachtel,
Fabio Somenzi:
Variable Ordering and Selection for FSM Traversal.
ICCAD 1991: 476-479 |
| 1990 |
|---|
| 1 | | Hyunwoo Cho,
Gary D. Hachtel,
Seh-Woong Jeong,
Bernard Plessier,
Eric M. Schwarz,
Fabio Somenzi:
ATPG Aspects of FSM Verification.
ICCAD 1990: 134-137 |
