| EPSRC Reference: |
GR/M32481/01 |
| Title: |
COMPOSITIONAL METHODS FOR HARDWARE/SOFTWARE CO-DESIGN |
| Principal Investigator: |
Spivey, Dr M |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of Oxford |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
14 April 1999 |
Ends: |
13 April 2002 |
Value (£): |
97,172
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
We aim to develop an integrated and practical approach for the compositional specification, design and analysis of mixed hardware/software systems. The project starts with a unified theory to ensure complete consistency between different stages in the project and different parts of the product. The theory incorporates features of CSP and ITL and promises to to cross all the boundaries involved: continuous/discrete, hardware/software, simulation/verification, events/states, abstraction/execution, specification/implementation.The project will test the theory by application to commercially available design notations (Verilog and VHDL) and to critical parts of an industrial product, a self-validating sensor.Collaborative work conducted at Oxford will start with the unification of the underlying theories and the semantics of the design language Vi. Later work specific to Oxford will be the derivation of algebraic laws and normal form theorems, together with their application in proof of the correctness of a hardware simulator for Vi.Keywords describing areas of proposalComputing, Linking Theories, ITL, HDLs
|
|
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: |
http://www.ox.ac.uk |