Practical verification and synthesis of low latency asynchronous systems

Simple item page
dc.contributor.advisorBirtwistle, Graham M.
dc.contributor.authorStevens, Kenneth S.
dc.date.accessioned2005-07-29T23:04:04Z
dc.date.available2005-07-29T23:04:04Z
dc.date.issued1994
dc.descriptionBibliography: p. 226-233.en
dc.format.extentxiv, 233 leaves : ill. ; 30 cm.en
dc.identifier.citationStevens, K. S. (1994). Practical verification and synthesis of low latency asynchronous systems (Doctoral thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/22514en_US
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/22514
dc.identifier.isbn0315994959en
dc.identifier.lccTK 7868 A79 S74 1994en
dc.identifier.urihttp://hdl.handle.net/1880/30365
dc.language.isoeng
dc.publisher.institutionUniversity of Calgaryen
dc.publisher.placeCalgaryen
dc.rightsUniversity of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission.
dc.subject.lccTK 7868 A79 S74 1994en
dc.subject.lcshAsynchronous circuits - Design and construction
dc.subject.lcshDigital electronics
dc.titlePractical verification and synthesis of low latency asynchronous systems
dc.typedoctoral thesis
thesis.degree.disciplineComputer Science
thesis.degree.grantorUniversity of Calgary
thesis.degree.nameDoctor of Philosophy (PhD)
ucalgary.thesis.accessionTheses Collection 58.002:Box 948 520538894
ucalgary.thesis.notesoffsiteen
ucalgary.thesis.uarcreleaseyen
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
ucalgary_1994_stevens_kenneth s._596545.pdf
Size:
12 MB
Format:
Adobe Portable Document Format
Description:
Thesis
Download
Collections
Legacy Theses