GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Hardware and Software Verification

Hardware and Software Verification

2 faculty research Hardware and Software Verification on GradNova.

K
Karem A. Sakallah

Professor, EECS – Computer Science and Engineering; Professor (courtesy), EECS – Electrical and Computer Engineering

Department of Electrical and Computer Engineering

University of Michigan

Boolean Satisfiability
Computer-Aided Design of Electronic Systems
Discrete Optimization
Hardware and Software Verification
+5
T
Todd S. Austin

Jack Hu Collegiate Professor of Computer Science and Engineering; Professor, EECS – Computer Science and Engineering; Professor (courtesy), EECS – Electrical and Computer Engineering; Director, Computer Engineering Lab

Computer Science and Engineering

University of Michigan

Computer Architecture
Hardware and Software Verification
Performance Analysis Tools and Techniques
Robust and Secure System Design
+5