Research Funding:
Constraint-based Local Search Techniques for Processor Design and Verification
Support provided by Intel Corporation
Principal Investigator
| Pascal Van Hentenryck |
Projects Supported
Details
| Amount: | 40000 |
| Dates: | March 2007 - March 2008 |
| Status: | Complete |
| Page Owner: Amy Tarbox | Last Modified: Mon Mar 16 12:11:14 2009 |