Reily M. Jacoby

Publication Activity (10 Years)

Years Active: 1988-1994
Publications (10 Years): 0

Publications

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. Comput. Aided Des. Integr. Circuits Syst. 13 (2) (1994)
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. Comput. Aided Des. Integr. Circuits Syst. 11 (3) (1992)
Gary D. Hachtel, June-Kyung Rho, Fabio Somenzi, Reily M. Jacoby
Exact and heuristic algorithms for the minimization of incompletely specified state machines. EURO-DAC (1991)
Reily M. Jacoby, P. Moceyunas, Hyunwoo Cho, Gary D. Hachtel
New ATPG techniques for logic optimization. ICCAD (1989)
Gary D. Hachtel, Reily M. Jacoby, Kurt Keutzer, Christopher R. Morrison
On properties of algebraic transformation and the multifault testability of multilevel logic. ICCAD (1989)
Gary D. Hachtel, Reily M. Jacoby, P. Moceyunas, Christopher R. Morrison
Performance enhancements in BOLD using 'implications'. ICCAD (1988)
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. Comput. Aided Des. Integr. Circuits Syst. 7 (6) (1988)
Gary D. Hachtel, Reily M. Jacoby
Verification algorithms for VLSI synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7 (5) (1988)