Hervé J. Touati

15 papers A* 1A 7Journal 4Unranked 3

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