Department of Computer Science
Department of Computer Science Join Us Department of Computer Science People Department of Computer Science Research Department of Computer Science Academics Department of Computer Science CS Job Board Department of Computer Science About CS Rice Department of Computer Science Events Department of Computer Science CS Home

News

Semiconductor Research Consortium (SRC) funds first project at Rice University

March 22, 2006 - The Semiconductor Research Consortium, SRC, has awarded the Department of Computer Science a three year contract ($216,000) to explore enhancements to Verilog, a widely used hardware description language.  The award is the first from SRC to Rice University.

Walid Taha, Assistant Professor of Computer Science and principal investigator on the SRC project, will work closely with Dr. Jim Grundy and Dr. John O'Leary of Intel's Strategic CAD Labs to design and evaluate the potential impact of these enhancements on the practice of circuit design and synthesis.  The project will focus on abstraction mechanisms found in modern functional languages, including multi-stage programming and dependent types.

 Front Page - Walid 2

Walid Taha

This project will allow us to apply key programming languages innovations that we and other researchers have developed to the domain of digital circuit design.  We believe that these foundational innovations can have a significant positive impact on managing the complexities of modern circuit design and synthesis, and in turn, the cost and the capacity of the microprocessors available on the market" commented Taha.

SRC plans and manages a program of basic and applied university research on behalf of its participating members.  Since it was established in 1982, SRC has funded more than $500 million in long-term semiconductor research projects.




© Copyright 2009  Rice University  
Mailing Address: PO Box 1892, MS-132, Houston TX 77251-1892
Physical Address: 3122 Duncan Hall, 6100 Main Street, Houston TX 77005


Rice University Computer Science