cline


JOHN P. HAYES

Claude E. Shannon Professor of Engineering Science

Department of Electrical Engineering and Computer Science

Computer Science and Engineering Division
Beyster Building, Room 4713
University of Michigan
2260 Hayward Street
Ann Arbor, MI 48109-2121, USA

Telephone: +1 (734) 763-0386
Fax: +1 (734) 763-4617
E-mail: jhayes@umich.edu

cline

BACKGROUND

John P. Hayes is a professor in the EECS Department at the University of Michigan, where he holds the endowed Claude E. Shannon Chair of Engineering Science. Prior to that he was on the faculty of the University of Southern California. He also worked in industry for a couple of years, and has held visiting positions at Stanford University, McGill University, the University of Montreal, Logicvision Inc., the University of Freiburg, and the University of Passau. Professor Hayes teaches and conducts research in the general area of computer science and engineering, with specific interests in computer-aided design, verification and testing of VLSI circuits; reliable computer architecture; neural networks; and unconventional computing techniques such as neural networks and machine learning, as well as stochastic and quantum computing. He was the founding director of Michigan's Advanced Computer Architecture Laboratory, now called the Computer Engineering Laboratory. He is the author of seven books, including Computer Architecture and Organization, (McGraw-Hill, 3rd ed. 1998), Quantum Circuit Simulation (Springer, 2009), and Design, Analysis and Test of Logic Circuits under Uncertainty (Springer, 2012), as well as over 300 technical papers and several patents. He obtained his B.E. degree in electrical engineering from the National University of Ireland, Dublin, and his M.S. and Ph.D. degrees from the University of Illinois at Urbana-Champaign. He received the University of Michigan's Distinguished Faculty Award in 1999, and the Alexander von Humboldt Foundation's Research Prize in 2004. In 2013 he was awarded a Lifetime Contribution Medal from IEEE for outstanding contributions to test technology, while he was the recipient of the ACM SIGDA Pioneering Achievement Award for contributions to logic design, fault tolerant computing, and testing in 2014. Professor Hayes is a Fellow of both IEEE and ACM.

 

cline

RESEARCH

*     Areas of Interest: Our group is currently conducting research on the following topics:

* Unconventional and emerging computing technologies including stochastic and quantum circuits, and neuromorphic computing.

* Computing principles underlying natural and artificial neural networks.

* Design of computer architectures for machine learning.

* CAD tools and techniques to design, verify and test VLSI circuits

 

For more information on our research activities, see Selected Publications below.

*     Research Assistantships: Openings for graduate student research assistants (RAs) are available from time to time. There is currently (2018) an RA position in the area of stochastic computing and its application to neural network design.

RA applicants should apply to (or be already admitted into) one of the EECS Department's PhD programs, normally Computer Science and Engineering (CSE), and send me an e-mail message with a copy of their detailed CV. For information about Michigan's various graduate programs in EECS, including admission requirements, application procedures, deadlines, etc., go to the EECS Graduate Admissions web site.

*     Financial Aid: This is available in the form of fellowships, research assistantships, and teaching assistantships. New students are admitted at two levels, MS and PhD, depending on their qualifications. Students entering with a BS degree may be admitted at either level; however, only those with outstanding qualifications are admitted at the PhD level. Such students will normally obtain an MS from Michigan en route to the PhD degree. Applicants who already have an MS degree in a relevant area can only be admitted at the PhD level.

An exceptionally attractive feature of our program is that students admitted at the PhD level are guaranteed full financial support throughout their MS/PhD studies, as long as they are making satisfactory progress. PhD-bound students are typically supported as fellows, TAs or RAs in their first year, and as RAs or TAs in later years. Admission at the MS level does not normally include financial aid. It should be noted that admission to the PhD level is extremely competitive. Those who are admitted typically have excellent GPA and GRE scores, rank near the top of their graduating class at a highly-ranked university, and have strong and credible letters of support that document their specific accomplishments, including (where applicable) academic achievements, publications, industrial experience, and PhD research potential.

*     Summer Internships: Unfortunately, we cannot provide summer internships for undergraduate students from other universities, and applications for such internships will be discarded.

*     Benchmark Circuits: For information about the high-level versions of the ISCAS logic circuits that we developed circa 1996, go to the benchmark website. The site is no longer maintained, and all the data we have available concerning the benchmarks is at that website, and publically available. What may appear to be missing links refer to non-existent data.

*     QuIDDPro Simulator: QuIDDPro is a fast, scalable, and easy-to-use computational interface for generic quantum circuit simulation. It supports state vectors, density matrices, and related operations using the Quantum Information Decision Diagram (QuIDD) data structure which we introduced. The book Quantum Circuit Simulation published by Springer in 2009, and available at amazon.com, contains the QuIDDPro manual and describes the algorithms used by QuIDDPro. For further information, including how to access the software, click here.

cline

COURSES TAUGHT RECENTLY

EECS 203: Discrete mathematics

EECS 270: Introduction to logic design

EECS 478: Logic circuit synthesis and optimization

EECS 579: Digital system testing

EECS 598: Quantum computing circuits

 

 

cline

SELECTED PUBLICATIONS

For a flavor of our recent research, see the following papers which you can download in pdf format. Also see the book Design, Analysis and Test of Logic Circuits under Uncertainty (Springer 2012) by S. Krishnaswamy, I.L. Markov and J.P. Hayes.

  1. S. Krishnaswamy, G.F. Viamontes, I.L. Markov and J.P. Hayes: Probabilistic transfer matrices in symbolic reliability analysis of logic circuits, ACM Trans. on Design Automation of Electronic Systems vol. 13, article 8, Jan. 2008. We propose here the probabilistic transfer matrix (PTM) concept to capture nondeterministic behavior in logic circuits. PTMs provide a concise description of both normal and faulty behavior, and are well-suited to reliability and error susceptibility calculations. (pdf)

2.     I. Polian, J.P. Hayes, S.M. Reddy and B. Becker: Modeling and mitigating transient errors in logic circuits, IEEE Trans. on Dependable & Secure Computing, pp.537-547, July-Aug. 2011. Transient or soft errors caused by environmental effects are a growing concern in micro- and nanoelectronics. This paper presents a novel framework for modeling and reducing the effects of such errors in digital circuits. (pdf)

3.     A. Alaghi, C. Li and J.P. Hayes: Stochastic circuits for real-time image-processing applications, Proc. 50th Design Automation Conf. (DAC), article 136, 6 pages, June 2013. This work addresses the design of image-processing circuits using stochastic computing techniques. We show how stochastic circuits can be integrated at the pixel level with image sensors to support efficient real-time pre-processing of images. Applications of interest include retinal implants for vision restoration and on-the-fly feature extraction. (pdf)

4.     A. Alaghi, W-K. Qian and J.P. Hayes: The promise and challenge of stochastic computing, IEEE Trans. on CAD, 19 pages, 2018. Stochastic computing (SC) is an unconventional technique which processes data in the form of bit-streams that resemble neural spike trains, and can be interpreted as probabilities. It can implement complex arithmetic operations by means of extremely simple logic circuits. This allows SC circuits to be used in massively parallel applications such as neural networks. This paper is a comprehensive survey and review of SC, focusing on recent developments. (pdf)

5.     P. Ting and J.P. Hayes: Eliminating a hidden error source in stochastic circuits, Proc. 30th Symp. Defect & Fault Tolerance in VLSI and Nano. Systems (DFT), pp.44-49, Oct. 2017. (This received the conference's Best Paper Award) We investigate the role of constant inputs in stochastic circuits and show that, while such constants are essential in practical SC design, they are also an unexpected source of errors. We further demonstrate that constants and the errors they cause can be completely eliminated by employing a novel sequential circuit design technique. (pdf)

 

 

cline

RECENTLY GRADUATED PhD STUDENTS

*     Kenneth Zick

Graduated 2010. PhD thesis: Physically-adaptive computing via introspection and self-optimization in reconfigurable systems.

Current position: USC Information Sciences Institute, Arlington, VA.

*     Dae Young Lee

Graduated 2012. PhD thesis: Wireless testing of integrated circuits.

Current position: Samsung Research, Seoul, Korea.

*     Chien-Chih Yu

Graduated 2012. PhD thesis: Probabilistic methods for analyzing and simulating digital circuits.

Current position: Oracle Inc., Redwood Shores, CA.

*     Armin Alaghi

Graduated 2015. PhD thesis: The logic of random pulses: stochastic computing.

Current position: University of Washington, Seattle, WA.

*     Te-Hsuan (Sean) Chen

Graduated 2016. PhD thesis: Designing accurate and low-cost stochastic circuits.

Current position: Cadence Design Systems, San Jose, CA.

And not quite so recently:

Ayee Goundan, Thirumalai Sridhar, John P. Shen, Raif M. Yanney, M. S. Krishnan, Younggap You, Debashis Bhattacharya, Shantanu Dutt, Robert L. Maziasz, T. C. Lee, Ram Raghavan, Brian T. Murray, R. D. (Shawn) Blanton, Hung-Kuei Ku, Michael J. Batek, Krishnendu Chakrabarty, Mark Hansen, Avaneendra Gupta, Amit Chowdhary, Hakan Yalcin, Hussain Al-Asaad, Hyungwon (Will) Kim, Joonhwan Yi, Nagarajan Kandasamy, Feng Gao, Rajesh Venkatasubramanian, Jia-yi Chen, George Viamontes, Smita Krishnaswamy, and Sungsoon Cho.

 

 

Updated January 2018

 

cline

 

cline