EPSRC Reference: |
GR/S40855/01 |
Title: |
Logic Verification, Synthesis and Test in a New United Framework and Low Power Testable Designs |
Principal Investigator: |
Pradhan, Professor D |
Other Investigators: |
|
Researcher Co-Investigators: |
|
Project Partners: |
|
Department: |
Computer Science |
Organisation: |
University of Bristol |
Scheme: |
Standard Research (Pre-FEC) |
Starts: |
20 October 2003 |
Ends: |
19 July 2007 |
Value (£): |
214,007
|
EPSRC Research Topic Classifications: |
System on Chip |
VLSI Design |
|
EPSRC Industrial Sector Classifications: |
|
Related Grants: |
|
Panel History: |
|
Summary on Grant Application Form |
There are two major components of this proposed research. Firstly , a new unified framework has recently been co-developed by the principal investigator (and his former students), for solution of synthesis, verification and test problems. This framework is based on a concept called indirect implications, and is the only one which can be effectively used for all three problems.Traditionally hardware verification has been performed by regression testing: applying random and/or direct input stimulus to hardware, a software simulation, or emulation and comparing the outputs of the new design to a specification or previous design. The goal is to show equivalence between the two representations for the input space of interest.With Intel's announcement of a one billion transistor chip, it is all the more imperative that new synthesis techniques be developed - both at the logic and switch levels. One of the existing areas of research is design of SOCs for low power and ease of test. What we propose to develop is new design methodologies for low power testable RAMs. The original concept was patented by us for ease of test. New, on-going research reveals potential for low power applications, too.
|
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.bris.ac.uk |