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 (HVN, BDL, plus NYC area airports, and Boston Logan) as well as
by train.
The group is located in 503 Dunham Lab on the Yale campus.
There are quite a few hotels that are near Yale and walking distance to our lab. The closest parking garage is the Grove Street Garage, which is roughly two blocks away.
The asynchronous VLSI and architecture group is primarily supported by
research grants from the US government. Government sponsors over the
years include
the National Science Foundation,
the Defense and Advanced Research Projects
Agency, the Department of Energy, Air Force Research Labs,
and the Office of Naval Research,
and the National Institutes for Health.
|