Bernard Plessier

According to our database, Bernard Plessier authored at least 10 papers between 1990 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

Formal verification of digital systems by automatic reduction of data paths.

Enrico Macii, Bernard Plessier, Fabio Somenzi

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997

1996

Algorithms for approximate FSM traversal based on state space decomposition.

Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1996

1994

Extended BDDs: Trading off Canonicity for Structure in Verification Algorithms.

Bernard Plessier, Gary D. Hachtel, Fabio Somenzi

Formal Methods Syst. Des., 1994

Symmetry detection and dynamic variable ordering of decision diagrams.

Shipra Panda, Fabio Somenzi, Bernard Plessier

Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, 1994

1993

Algorithms for Approximate FSM Traversal.

Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi

Proceedings of the 30th Design Automation Conference. Dallas, 1993

1992

Verification of systems containing counters.

Enrico Macii, Bernard Plessier, Fabio Somenzi

Proceedings of the 1992 IEEE/ACM International Conference on Computer-Aided Design, 1992

1991

Variable Ordering and Selection for FSM Traversal.

Seon-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms.

Seh-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

1990

ATPG Aspects of FSM Verification.

Hyunwoo Cho, Gary D. Hachtel, Seh-Woong Jeong, Bernard Plessier, Eric M. Schwarz, Fabio Somenzi

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 1990

Results on the Interface between Formal Verification and ATPG.

Hyunwoo Cho, Gary D. Hachtel, Seh-Woong Jeong, Bernard Plessier, Eric M. Schwarz, Fabio Somenzi

Proceedings of the Computer-Aided Verification, 1990