Team

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

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

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

Principle Investigator