Reily M. Jacoby

	1994
4		June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi, Reily M. Jacoby: Exact and heuristic algorithms for the minimization of incompletely specified state machines. IEEE Trans. on CAD of Integrated Circuits and Systems 13(2): 167-177 (1994)
	1992
3		Gary D. Hachtel, Reily M. Jacoby, Kurt Keutzer, Christopher R. Morrison: On properties of algebraic transformations and the synthesis of multifault-irredundant circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 11(3): 313-321 (1992)
	1988
2		Gary D. Hachtel, Reily M. Jacoby: Verification algorithms for VLSI synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 7(5): 616-640 (1988)
1		Karen A. Bartlett, Robert K. Brayton, Gary D. Hachtel, Reily M. Jacoby, Christopher R. Morrison, Richard L. Rudell, Alberto L. Sangiovanni-Vincentelli, Albert R. Wang: Multi-level logic minimization using implicit don't cares. IEEE Trans. on CAD of Integrated Circuits and Systems 7(6): 723-740 (1988)

Coauthor Index

1	Karen A. Bartlett	[1]
2	Robert K. Brayton	[1]
3	Gary D. Hachtel	[1] [2] [3] [4]
4	Kurt Keutzer	[3]
5	Christopher R. Morrison	[1] [3]
6	June-Kyung Rho	[4]
7	Richard L. Rudell	[1]
8	Alberto L. Sangiovanni-Vincentelli	[1]
9	Fabio Somenzi	[4]
10	Albert R. Wang	[1]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page