| |
The asynchronous VLSI and architecture group is a research group that
is part of the Computer
Systems Laboratory at the School of Electrical and Computer
Engineering, Cornell.
Our group uses formal synthesis methods for the design of provably
correct, highly concurrent, reliable, and robust asynchronous systems.
Our group also contributes to the general design automation
community by hosting the CVS repository and mailing lists for the Magic VLSI layout
editor.
The asynchronous VLSI and architecture group is primarily supported by
research grants from the US government. Sponsors include
the National Science Foundation,
the Defense and Advanced Research Projects
Agency, Air Force Research Labs,
the Center for Circuits and Systems Solutions, and the NSF TRUST center.
|