Bernard Plessier

Publication Activity (10 Years)

Years Active: 1990-1997
Publications (10 Years): 0

Publications

Enrico Macii, Bernard Plessier, Fabio Somenzi
Formal verification of digital systems by automatic reduction of data paths. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16 (10) (1997)
Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi
Algorithms for approximate FSM traversal based on state space decomposition. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15 (12) (1996)
Shipra Panda, Fabio Somenzi, Bernard Plessier
Symmetry detection and dynamic variable ordering of decision diagrams. ICCAD (1994)
Bernard Plessier, Gary D. Hachtel, Fabio Somenzi
Extended BDDs: Trading off Canonicity for Structure in Verification Algorithms. Formal Methods Syst. Des. 4 (2) (1994)
Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi
Algorithms for Approximate FSM Traversal. DAC (1993)
Enrico Macii, Bernard Plessier, Fabio Somenzi
Verification of systems containing counters. ICCAD (1992)
Seon-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi
Variable Ordering and Selection for FSM Traversal. ICCAD (1991)
Seh-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi
Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms. ICCAD (1991)
Hyunwoo Cho, Gary D. Hachtel, Seh-Woong Jeong, Bernard Plessier, Eric M. Schwarz, Fabio Somenzi
ATPG Aspects of FSM Verification. ICCAD (1990)
Hyunwoo Cho, Gary D. Hachtel, Seh-Woong Jeong, Bernard Plessier, Eric M. Schwarz, Fabio Somenzi
Results on the Interface between Formal Verification and ATPG. CAV (DIMACS/AMS volume) (1990)