||The VLSI/CAD group at University of Colorado, Boulder focuses primarily
on the development of Computer Aided Design (CAD) tools and algorithms.
The research being conducted focuses on three areas: Formal verification
of Digital Systems, Synthesis for low power and Development of Binary Decision
Diagram (BDD) packages. The group also works closely with faculty from
other engineering disciplines and with industry experts.
Primary funding sources are NSF, SRC and Fujitsu . Strong research ties
exist with groups in Motorola, Fujitsu Labs of America, Lucent Technologies
Bell Labs, Mentor Graphics, and Intel. Students generally spend their summers
at these companies to apply their research to real world applications.