1994 |
4 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |