Jean Christophe Madre

Peter Zepter

Christian Legl

Proceedings of the 36th Conference on Design Automation, 1999

1995

The Implicit Set Paradigm: A New Approach to Finite State System Verification.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1995

New Ideas for Solving Covering Problems.

[BibT_eX]

[DOI]

Proceedings of the 32st Conference on Design Automation, 1995

1994

Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1994

1993

Towards a Symbolic Logic Minimization Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on VLSI Design, 1993

A New Viewpoint on Two-Level Logic Minimization.

[BibT_eX]

[DOI]

Henri Fraisse

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

1992

Symbolic Prime Generation for Multiple-Valued Functions.

[BibT_eX]

[DOI]

Bill Lin

Proceedings of the 29th Design Automation Conference, 1992

Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions.

[BibT_eX]

[DOI]

Proceedings of the 29th Design Automation Conference, 1992

1991

A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver.

[BibT_eX]

[DOI]

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990

New ideas on symbolic manipulations of finite state machines.

[BibT_eX]

[DOI]

Proceedings of the 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1990

A Unified Framework for the Formal Verification of Sequential Circuits.

[BibT_eX]

[DOI]

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

Formal boolean manipulations for the verification of sequential machines.

[BibT_eX]

[DOI]

Proceedings of the European Design Automation Conference, 1990

Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989

Automating the diagnosis and the rectification of design errors with PRIAM.

[BibT_eX]

[DOI]

Jean-Paul Billon

Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989

Verification of Synchronous Sequential Machines Based on Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988

Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour.

[BibT_eX]

[DOI]