dblp.uni-trier.dewww.uni-trier.de

Reily M. Jacoby

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1994
4EEJune-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
3EEGary 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
2EEGary D. Hachtel, Reily M. Jacoby: Verification algorithms for VLSI synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 7(5): 616-640 (1988)
1EEKaren 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)