|
The asynchronous VLSI and architecture group
is part of the Computer
Systems Laboratory at the School of Electrical and Computer
Engineering, Cornell
Engineering.
Our group uses formal synthesis methods for the design of provably
correct, highly concurrent, reliable, and robust asynchronous systems.
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 NSF TRUST center.
|
