Please use this identifier to cite or link to this item: http://theses.ncl.ac.uk/jspui/handle/10443/2590
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAlekseyev, Arseniy-
dc.date.accessioned2015-04-16T15:25:07Z-
dc.date.available2015-04-16T15:25:07Z-
dc.date.issued2014-
dc.identifier.urihttp://hdl.handle.net/10443/2590-
dc.descriptionPhD Thesisen_US
dc.description.abstractIn this work we explore compositional methods for design of digital circuits with the aim of improving existing methodoligies for desigh reuse. We address compositionality techniques looking from both structural and behavioural perspectives. First we consider the existing method of handshake circuit optimisation via control path resynthesis using Petri nets, an approach using structural composition. In that approach labelled Petri net parallel composition plays an important role and we introduce an improvement to the parallel composition algorithm, reducing the number of redundant places in the resulting Petri net representations. The proposed algorithm applies to labelled Petri nets in general and can be applied outside of the handshake circuit optimisation use case. Next we look at the conditional partial order graph (CPOG) formalism, an approach that allows for a convenient representation of systems consisting of multiple alternative system behaviours, a phenomenon we call behavioural composition. We generalise the notion of CPOG and identify an algebraic structure on a more general notion of parameterised graph. This allows us to do equivalence-preserving manipulation of graphs in symbolic form, which simplifies specification and reasoning about systems defined in this way, as displayed by two case studies. As a third contribution we build upon the previous work of CPOG synthesis used to generate binary encoding of microcontroller instruction sets and design the corresponding instruction decoder logic. The proposed CPOG synthesis technique solves the optimisation problem for the general case, reducing it to Boolean satisfiability problem and uses existing SAT solving tools to obtain the result.en_US
dc.description.sponsorshipThis work was supported by a studentship from Newcastle University EECE school, EPSRC grant EP/G037809/1 (VERDAD) and EPSRC grant EP/K001698/1 (UNCOVER). iien_US
dc.language.isoenen_US
dc.publisherNewcastle Universityen_US
dc.titleCompositional approach to design of digital circuitsen_US
dc.typeThesisen_US
Appears in Collections:School of Electrical and Electronic Engineering

Files in This Item:
File Description SizeFormat 
Alekseyev, A 14.pdfThesis1.76 MBAdobe PDFView/Open
dspacelicence.pdfLicence43.82 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.