Principle Investigator

David Wentzloff
Affiliation: University of Michigan
Contact: wentzlof@umich.edu
Lead: Synthesizable Clock Generation
Co – PIs

David Blaauw
Affiliation: University of Michigan
Lead: All Digital Thermal Sensors
Synthesizable Sensor Interfaces
|

Benton Calhoun
Affiliation: University of Virginia
Lead: Memory Macro Generation
Auxiliary Cell Generation
|

Matteo Coltella
Affiliation: ARM – Ireland
Lead: Extending Socrates Infrastructure
|

Ron Dreslinski
Affiliation: University of Michigan
Lead: Correct-by-Construction Design
Extending IP-XACT
|

Dennis Sylvester
Affiliation: University of Michigan
Lead: Synthesizable Power Management
Synthesizable Data Conversion
|
|
Research Scientists

Tutu Ajayi
Affiliation: University of Michigan
Role: Synthesis and APR
GitHub Repo Management |

Mehdi Saligane
Affiliation: University of Michigan
Role: Synthesizable Thermal Sensor
Synthesizable CDC
Synthesizable ADC
|
Graduate Students