Team

Principle Investigator


David Wentzloff 
Affiliation: University of Michigan
Contact: [email protected]
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


Yaswanth Cherivirala
Affiliation: University of Michigan
Role:        DLDO Generation


Wenbo Duan
Affiliation: University of Michigan
Role:        Synthesizable DC/DC Converter
                 Synthesizable CDC
                 Synthesizable ADC

Morteza Fayazi
Affiliation: University of Michigan
Role:        Datasheet Scrubber
                Correct by Construction tool
                Extending IP-XACT format

Shourya Gupta
Affiliation: University of Virginia
Role:        Memory Macro Generation

Sumanth Kamineni
Affiliation: University of Virginia
Role:        Auxiliary Cell Generation
                Memory Macro Generation

Kyumin Kwon
Affiliation: University of Michigan
Role:        AD-PLL Generation

Noah Michels
Affiliation: University of Michigan
Role:        Amplifier Generation