Practical verification and synthesis of low latency asynchronous systems
Date
1994
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Bibliography: p. 226-233.
Keywords
Citation
Stevens, 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/22514