Results for "Computer Engineering Research Center"

Research is currently being carried out in the fields of VLSI Testing and Design for Testability, Formal Verification, Design and Evaluation of Fault-Tolerant Systems, Sequential Synthesis, Binary decision diagrams, Timed/Stochastic systems, VLSI CAD/ Design Automation, Distributed Systems, Computer Architecture, Software Engineering and several other key areas.

Website: http://www.cerc.utexas.edu/

Projects

There are no results.