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: | June 2008 - June 2009 |
| Status: | Active |
| Page Owner: Amy Tarbox | Last Modified: Mon Mar 16 12:11:14 2009 |