JOHN P. HAYES

Education

Employment

Honors and Awards

Research Activities

Computer aided design (CAD): testing, design verification, and synthesis. Computer architecture: fault-tolerant and safety-critical systems. VLSI design: automated cell synthesis and embedded systems-on-a-chip.

Recent Publications