Reily M. Jacoby

According to our database, Reily M. Jacoby authored at least 7 papers between 1988 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

Exact and heuristic algorithms for the minimization of incompletely specified state machines.

June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi, Reily M. Jacoby

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994

1992

On properties of algebraic transformations and the synthesis of multifault-irredundant circuits.

Gary D. Hachtel, Reily M. Jacoby, Kurt Keutzer, Christopher R. Morrison

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992

1989

New ATPG techniques for logic optimization.

Reily M. Jacoby, P. Moceyunas, Hyunwoo Cho, Gary D. Hachtel

Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989

On properties of algebraic transformation and the multifault testability of multilevel logic.

Gary D. Hachtel, Reily M. Jacoby, Kurt Keutzer, Christopher R. Morrison

Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989

1988

Verification algorithms for VLSI synthesis.

Gary D. Hachtel, Reily M. Jacoby

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988

Multi-level logic minimization using implicit don't cares.

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

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988

Performance enhancements in BOLD using 'implications'.

Gary D. Hachtel, Reily M. Jacoby, P. Moceyunas, Christopher R. Morrison

Proceedings of the 1988 IEEE International Conference on Computer-Aided Design, 1988