Asynchronous VLSI and Architecture
Cornell University



Home
Chips
People
Teaching
Research
Publications
Sponsors
News
  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.

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.


webmaster@vlsi.cornell.eduIthaca . Directions to CSL