| EPSRC Reference: |
GR/M05744/01 |
| Title: |
REASONING ABOUT RAINBOW: DESIGN AND VERIFICATION SUPPORT FOR ASYNCHRONOUS DIGITAL SYSTEMS |
| Principal Investigator: |
Barringer, Professor H |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Victoria University of Manchester, The |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 July 1998 |
Ends: |
31 December 2001 |
Value (£): |
304,287
|
| EPSRC Research Topic Classifications: |
| Design & Testing Technology |
Fundamentals of Computing |
|
| EPSRC Industrial Sector Classifications: |
| Creative Industries |
Information Technologies |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
We will develop generic technology for building domain-specific multi-view language suites, with formal semantic foundations, and will apply this to asynchronous hardware design, extending the prototype Rainbow framework. The semantics will be defined using a special high-level process algebra, which will produce compact semantic representations of designs and will characterise the interworking between design components described in different sub-languages. The suite will be embedded in a user-oriented design support environment, which will include design analysis tools to be operated interactively by hardware engineers as part of the design process. They will therefore be largely automatic and, in order be tractable for commercial-sized designs, we will need to develop novel application-specific, truly symbolic state-based techniques. Transformation tools will provide interfacing with existing CAD systems, and also support design translation between different Rainbow sub-languages. We will develop design optimisation methods, so that high performance target circuits can be derived from Rainbow source.
|
|
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: |
|
| Further Information: |
|
| Organisation Website: |
|