Hervé J. Touati

According to our database, Hervé J. Touati authored at least 15 papers between 1987 and 1996.

Collaborative distances:

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

1996

Constructive Analysis of Cyclic Circuits.

Thomas R. Shiple, Gérard Berry, Hervé J. Touati

Proceedings of the 1996 European Design and Test Conference, 1996

1995

Testing Language Containment for omega-Automata Using BDD's

Hervé J. Touati, Robert K. Brayton, Robert P. Kurshan

Inf. Comput., April, 1995

1994

Optimal latch mapping and retiming within a tree.

Joel Grodstein, Eric Lehman, Heather Harkness, Hervé J. Touati, Bill Grundmann

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

1993

Computing the initial states of retimed circuits.

Hervé J. Touati, Robert K. Brayton

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

Boolean matching for full-custom ECL gates.

Robert N. Mayo, Hervé J. Touati

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

A simple algorithm for fanout optimization using high-performance buffer libraries.

K. Kodandapani, Joel Grodstein, Antun Domic, Hervé J. Touati

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

1992

Efficient <i>omega</i>-Regular Language Containment.

Ramin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991

Reducing and Manipulating Complex Trace Data.

Hervé J. Touati, Alan Jay Smith

Softw. Pract. Exp., 1991

Delay Optimization of Combinational Logic Circuits By Clustering and Partial Collapsing.

Hervé J. Touati, Hamid Savoj, Robert K. Brayton

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

Extracting Local Don't Cares for Network Optimization.

Hamid Savoj, Robert K. Brayton, Hervé J. Touati

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

1990

Implicit State Enumeration of Finite State Machines Using BDDs.

Hervé J. Touati, Hamid Savoj, Bill Lin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

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

Don't Care Minimization of Multi-Level Sequential Logic Networks.

Bill Lin, Hervé J. Touati, A. Richard Newton

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

1988

A Light-Weight Prolog Garbage Collector.

Hervé J. Touati, Toshiyuki Hama

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

Is Ada an Object Oriented Programming Language?

Hervé J. Touati

ACM SIGPLAN Notices, 1987

An Empirical Study of the Warren Abstract Machine.

Hervé J. Touati, Alvin M. Despain

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987