Hervé J. Touati

Publication Activity (10 Years)

Years Active: 1987-1996
Publications (10 Years): 0

Publications

Thomas R. Shiple, Gérard Berry, Hervé J. Touati
Constructive Analysis of Cyclic Circuits. ED&TC (1996)
Hervé J. Touati, Robert K. Brayton, Robert P. Kurshan
Testing Language Containment for omega-Automata Using BDD's Inf. Comput. 118 (1) (1995)
Joel Grodstein, Eric Lehman, Heather Harkness, Hervé J. Touati, Bill Grundmann
Optimal latch mapping and retiming within a tree. ICCAD (1994)
Hervé J. Touati, Robert K. Brayton
Computing the initial states of retimed circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12 (1) (1993)
K. Kodandapani, Joel Grodstein, Antun Domic, Hervé J. Touati
A simple algorithm for fanout optimization using high-performance buffer libraries. ICCAD (1993)
Robert N. Mayo, Hervé J. Touati
Boolean matching for full-custom ECL gates. ICCAD (1993)
Ramin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton
-Regular Language Containment. CAV (1992)
Hervé J. Touati, Hamid Savoj, Robert K. Brayton
Delay Optimization of Combinational Logic Circuits By Clustering and Partial Collapsing. ICCAD (1991)
Hervé J. Touati, Alan Jay Smith
Reducing and Manipulating Complex Trace Data. Softw. Pract. Exp. 21 (6) (1991)
Hamid Savoj, Robert K. Brayton, Hervé J. Touati
Extracting Local Don't Cares for Network Optimization. ICCAD (1991)
Hervé J. Touati, Hamid Savoj, Bill Lin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Implicit State Enumeration of Finite State Machines Using BDDs. ICCAD (1990)
Bill Lin, Hervé J. Touati, A. Richard Newton
Don't Care Minimization of Multi-Level Sequential Logic Networks. ICCAD (1990)
Hervé J. Touati, Toshiyuki Hama
A Light-Weight Prolog Garbage Collector. FGCS (1988)
Hervé J. Touati
Is Ada an Object Oriented Programming Language? ACM SIGPLAN Notices 22 (5) (1987)
Hervé J. Touati, Alvin M. Despain
An Empirical Study of the Warren Abstract Machine. SLP (1987)