Grants listing
- 20011 -2015 EPSRC Grant: “Memresistor Design" Amount: £309K (PI)
- 2011 -2014 "EU Grant: Fault-Tolerant System Design" Amount: £312K (PI)
- 2011 -2014 EU Grant: "Manufacturable and Dependable Multicore Architectures at Nanoscale" (PI)
2009 -2012 EPSRC Grant: “Process Variation Aware Synthesis of Nano-CMOS Circuits” Amount: £300K (PI)
- 2008 -2011 EU Grant : System Validation via Distributed Collaboration for Reliable Next-Generation Manycore Chips (PI)
- 2008 -2011 EPSRC Grant: “Synthesis and Optimisation of Designs Based on Novel Canonical Algebraic Structures” Amount: £227,760 (PI) .
- 2008-2010 The Royal Society – Fellowship £27,000 (PI)
- 2003 -2006 EPSRC Grant: GR/S40855 “Logic Verification, Synthesis and Test in a Unified Framework and Low Power Testable Design” Amount: £230,000 (PI)
- 1997 - 2000 Multiple DARPA Grants Amount: $540,000 (PI)
-
1997 - 1998 Multiple US Air Force Amount: $1.1 million (PI)
-
1994 - 1999 NSF MIP 9406946 “Novel Methods in Computer-Aided Circuit Design and Testing Using Recursive Learning” Amount: $329,000 (PI)
-
1994 - 1999 NSF CDA 9414173 “Courseware for Computer-Aided Design and Test” Amount: $318,304 (PI)
-
1996 - 1998 NSF 93-464 “Fault Injection for the Formal Testing and Evaluation of Fault-Tolerant Computing Systems” Amount: $21,106 (PI)
-
1996 - 1998 TEXAS Advanced Technology Program 95-P060 “Design and Assessment of Software-Based Techniques for Reliable Computation on Multi-Computers” Amount: $235,588 (PI)
-
1995 Mentor Graphics Unrestricted gift Amount: $32,000 (PI)
-
1993 - 1996 TEXAS Advanced Research Program 93-1030 “Tool for Testing and Design Verification” Amount: $135,930 (PI)
-
1993 - 1996 TEXAS Advanced Technology Program 93-1029 “Tool-Development for Fault-Tolerant Computer Systems Evaluations” Amount: $199,392 (PI)
-
1992 - 1993 AFOSR 92-390 “Fault-Tolerance in Distributed and Multiprocessor Real-Time Systems” Amount: $114,785 (PI)
-
1992 - 1996 NSF 92-479 “Development of Integrated On-Line and Off-Line Error Detection Mechanisms in the Coding Theory Framework” Amount: $213,786 (PI)
-
1991 - 1996 ONR 92-167 “Synthesis Techniques and Analysis Tools for On-Chip Fault-Tolerance” Amount: $597,000 (PI)
-
1989 - 1991 NSF MIP 89-02014 “Data Compression Techniques” Amount: $77,901 (PI)
-
1988 - 1991 AFOSR “Fault-Tolerant and Testable VLSI Processor Array Design” Amount: $224,000 (PI)
-
1988 - 1991 NSF MIP 88-05586 “Performance and Yield of Defect and Fault-Tolerant Multiprocessing” (with Israel Koren) Amount: $282,000 (PI)
-
1991 Bendix Corporation Unrestricted grant Amount: $40,000 (PI)
-
1988 - 1991 IBM Corporation Unrestricted grant Amount: $36,000 (PI)
-
1988 - 1991 SRC DJ-88 “Novel Data Flow Processor Design” Amount: $150,000 (PI)
-
1987 - 1991 NSF MIP 87-007959 “Test Counting Techniques and Applications” Amount: $182,000 (PI)
-
1987 - 1988 AFOSR 87-0161 “Fault-Tolerant Multiprocessors and VLSI-Based Systems” Amount: $79,000 (PI)
-
1986 - 1988 NSF DCR 8505499 “Yield and Performance Enhancement in VLSI” (with Israel Koren) Amount: $102,000 (PI)
-
1985 - 1987 NSF DCR 8506329 “Computer Research Equipment” Amount: $105,413 (PI)
-
1985 - 1987 NSF DMC 8506255 “Computer Research Equipment” Amount: $92,000 (PI)
-
1984 - 1987 AFOSR 84-0052 “Fault-Tolerant Multiprocessors and VLSI Based Systems” Amount: $201,000 (PI)
-
1980 - 1984 AFOSR 80-0160 “Novel Architectures for ROM-Based Fault-Tolerant Design” Amount: $220,000 (PI)
-
1974 - 1980 Multiple Grants; National Research Council, Canada (PI)