|
Search the dblp DataBase
Reily M. Jacoby:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 1988, v:7, n:6, pp:723-740 [Journal]
- Gary D. Hachtel, Reily M. Jacoby
Verification algorithms for VLSI synthesis. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 1988, v:7, n:5, pp:616-640 [Journal]
- Gary D. Hachtel, Reily M. Jacoby, Kurt Keutzer, Christopher R. Morrison
On properties of algebraic transformations and the synthesis of multifault-irredundant circuits. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 1992, v:11, n:3, pp:313-321 [Journal]
- June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi, Reily M. Jacoby
Exact and heuristic algorithms for the minimization of incompletely specified state machines. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 1994, v:13, n:2, pp:167-177 [Journal]
Search in 0.002secs, Finished in 0.003secs
|