EPSRC logo
Researcher Details
 
Name: Dr D Greaves
Organisation: University of Cambridge
Department: Computer Science and Technology
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/F018649/1 C3D: Communication Centric Computer Design(C)
GR/M36069/01 ON-LINE COMPRESSION OF ATM STREAMS(P)
GR/L74262/01 A UNIFORM SEMANTICS FOR VERILOG AND VHDL SUITABLE FOR BOTH SIMULATION AND FORMAL VERIFICATION(P)
GR/K57343/01 CHECKING EQUIVALENCE BETWEEN SYNTHESISED LOGIC AND NON-SYNTHESISABLE BEHAVIOURAL PROTOTYPES(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator