Name:	Dr DA Edwards
Organisation:	University of Manchester, The
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/I038306/1 Globally Asynchronous Elastic Logic Synthesis (GAELS) (P) EP/G02930X/1 VERification-Driven Asynchronous Design (VERDAD) (C) EP/G013500/1 Advanced Processor Technologies Platform Grant (C) EP/E06065X/1 Energy Efficient Networks-on-Chip for Dynamically Reconfigurable Computing Platforms. (P) EP/E001947/1 Meeting the design challenges of the nano-CMOS electronics (C) EP/D052238/1 SElf-timed DATapath synthEsis (SEDATE) (P) GR/S61270/01 Advanced Processor Technologies Portfolio Partnership (C) GR/S11084/01 An Integrated Framework for Formal Verification and Distributed Simulation of Asynchronous Hardware (P) GR/R73867/01 PLATFORM GRANT - asynchronous logic systems and tools (C) GR/S04314/01 Visiting Fellowship for Professor Steven Nowick (P) GR/N19618/01 A DATAPATH COMPILER & ENHANCED SIMULATION ENVIRONMENT FOR BALSA: AN ASYNCHRONOUS SILICON SYNTHESIS SYSTEM (P) GR/M40455/01 OPTIMISING BALSA: A SYNTHESIS SYSTEM FOR ASYNCHRONOUS CIRCUITS (P) GR/K42073/01 APPLICATION SPECIFIC VERIFICATION TECHNIQUES FOR HIERARCHICAL ASYNCHRONOUS DIGITAL DESIGN (C) GR/F38174/01 FORMAL VERIFICATION SUPPORT FOR ELLA (C) GR/F09570/01 A FORMAL DESIGN AND VERIFICATION ENVIRONMENT FOR DIGITAL SYSTEMS (C)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator