Output details
13 - Electrical and Electronic Engineering, Metallurgy and Materials
Newcastle University
Conditional Partial Order Graphs: Model, Synthesis, and Application
The design of complex computational systems requires enumerating an exponential number of scenarios. The award-winning technique (Best Paper at ACSD'2010) presented in this paper shrinks this down to a polynomial scale, and was demonstrated in a fabricated microprocessor chip. This work is a key deliverable of EPSRC projects EP/C512812 and EP/E044662 (£0.7M combined) and is now being used worldwide as part of an open-source software framework (http://workcraft.org/scenco/). Commercialisation of a chip design is under way through an EPSRC Impact Acceleration award (PI:Mokhov) with financial/scientific computation company Maxeler Technologies (Craig Davies, +442087626196). Mokhov presented this work at UC Berkeley, Imagination Technologies.