Statistics
Publications
14
Citations
1.8K
H-Index
14
Active since
1990
Affiliations
University of California, Berkeley(Current)
H. Savoj is an author at University of California, Berkeley specializing in computer engineering, computer science, and engineering.
Publications per year
1990–2010
14
14
Sequential circuit design using synthesis and optimization
Ellen Sentovich, K.J. Singh, Cho W. Moon et al. · 2003 · 615 citations
Implicit state enumeration of finite state machines using BDD's
H.J. Touati, H. Savoj, Binshan Lin et al. · 2002 · 403 citations
Extracting local don't cares for network optimization
H. Savoj, Robert K. Brayton, H.J. Touati · 2002 · 125 citations
1–5 of 14