Please use this identifier to cite or link to this item: http://theses.ncl.ac.uk/jspui/handle/10443/2004
Full metadata record
DC FieldValueLanguage
dc.contributor.authorSemenov., Alexei-
dc.date.accessioned2014-02-07T16:46:57Z-
dc.date.available2014-02-07T16:46:57Z-
dc.date.issued1997-
dc.identifier.urihttp://hdl.handle.net/10443/2004-
dc.descriptionPhD Thesisen_US
dc.description.abstractDesign of asynchronous control circuits has traditionally been associated with application of formal methods. Event-based models, such as Petri nets, provide a compact and easy to understand way of specifying asynchronous behaviour. However, analysis of their behavioural properties is often hindered by the problem of exponential growth of reachable state space. This work proposes a new method for analysis of asynchronous circuit models based on Petri nets. The new approach is called PN-unfolding segment. It extends and improves existing Petri nets unfolding approaches. In addition, this thesis proposes a new analysis technique for Signal Transition Graphs along with an efficient verification technique which is also based on the Petri net unfolding. The former is called Full State Graph, the latter - STG-unfolding segment. The boolean logic synthesis is an integral part of the asynchronous circuit design process. In many cases, even if the verification of an asynchronous circuit specification has been performed successfully, it is impossible to obtain its implementation using existing methods because they are based on the reachability analysis. A new approach is proposed here for automated synthesis of speed-independent circuits based on the STG-unfolding segment constructed during the verification of the circuit's specification. Finally, this work presents experimental results showing the need for the new Petri net unfolding techniques and confirming the advantages of application of partial order approach to analysis, verification and synthesis of asynchronous circuits.en_US
dc.description.sponsorshipThe Research Committee, Newcastle University: Overseas Research Studentship Award:en_US
dc.language.isoenen_US
dc.publisherNewcastle Universityen_US
dc.titleVerification and synthesis of asynchronous control circuits using petri net unfoldingsen_US
dc.typeThesisen_US
Appears in Collections:School of Computing Science

Files in This Item:
File Description SizeFormat 
Semenov, A. 1998.pdfThesis18.95 MBAdobe PDFView/Open
dspacelicence.pdfLicence43.82 kBAdobe PDFView/Open


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