University of Michigan–Ann Arbor — United States
Computer Science · Physical Sciences
2h-index27citations2works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(2), VLSI and FPGA Design Techniques(2), Low-power high-performance VLSI design(1), VLSI and Analog Circuit Testing(1)
Publications2 total
ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753)·2005· 12 cited
Asia and South Pacific Design Automation Conference·2004· 15 cited
Frequent Co-authors
Arathi Ramani(1), Igor L. Markov(1), Karem A. Sakallah(1), A. Ramani(1), I.L. Markov(1), K.A. Sakallah(1)