CMU-GM Collaborative Research Lab Rahul Mangharam, D. Weller, D. Stancil, Raj Rajkumar [email protected] Carnegie Mellon University Jay Parikh, General Motors.
Hybrid Electric/Photonic Networks for Scientific Applications on Tiled CMPs Ankit Jain, Shoaib Kamil, Marghoob Mohiyuddin CS258 Final Presentation Prof.
Modernized Computation Engines for Tomorrow's Formal Verification Robert Brayton Niklas Een Alan Mishchenko Berkeley Verification and Synthesis Research.