Asynchronous VLSI and Architecture

About | Chips | People | Teaching | Research | Papers | Sponsors | News

The asynchronous VLSI and architecture group is part of the Computer Systems Laboratory at the School of Engineering and Applied Science at Yale. Our group uses formal synthesis methods for the design of provably correct, highly concurrent, reliable, and robust asynchronous systems.

Yale University is located roughly 90 miles from New York City. It can be reached by several airports as well as by train. The group is located in 503 Dunham Lab on the Yale campus.

The asynchronous VLSI and architecture group is primarily supported by research grants from the US government. Government sponsors include the National Science Foundation, the Defense and Advanced Research Projects Agency, Air Force Research Labs, and the Office of Naval Research.