| EPSRC Reference: |
EP/C549481/1 |
| Title: |
PLATFORM: Field-Programmable Logic for Custom Computing |
| Principal Investigator: |
Luk, Professor W |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing |
| Organisation: |
Imperial College London |
| Scheme: |
Platform Grants (Pre-FEC) |
| Starts: |
01 June 2005 |
Ends: |
31 May 2010 |
Value (£): |
422,827
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
This platform grant aims to extend our work in the field of field-programmable logic for custom computing. Fieldprogrammable logic is digital hardware that can be programmed, like software, to run a variety of different tasks. Custom computing is the theory and practice of customising computational tasks to run faster, with lower power consumption, and in less area, than could be achieved with a general purpose processor.We wish to build on our strengths in this field, by exploring three themes.1. The trade-off between programmability and power consumption. We would like to be able to design systems that have very low power consumption for a given degree of programmability or, conversely, very high programmability, for a given level of power consumption.2. Engineering adaptable systems. We would like to automate the design of systems containing programmable hardware that is re-programmed to take on new functionality during run-time.3. Unifying design and verification. We would like to be able to design such systems within a framework that provides some guarantees on whether our design is correct, by combining automatic testing of the design, with mathematical methods that can prove the correctness of the design.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
http://cc.doc.ic.ac.uk/projects/platform10/ |
| Further Information: |
|
| Organisation Website: |
http://www.imperial.ac.uk |