| 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. | |
