Sponsor
Portland State University. Department of Computer Science
First Advisor
Marly Roncken
Term of Graduation
Spring 2024
Date of Publication
5-23-2024
Document Type
Dissertation
Degree Name
Doctor of Philosophy (Ph.D.) in Computer Science
Department
Computer Science
Language
English
DOI
10.15760/etd.3742
Physical Description
1 online resource (xiv, 176 pages)
Abstract
Asynchronous circuits offer numerous advantages, including low energy consumption and good composability and scalability. However, they remain meagerly adopted in the mainstream semiconductor industry. One reason is the limited number of design tools available to help designers navigate design complexity, particularly the myriad of asynchronous implementation styles.
This dissertation focuses on managing the myriad of asynchronous implementation styles by utilizing a circuit-neutral model, called Links and Joints, and embedding this Link-Joint approach into a design flow. Although years of past work have already laid the groundwork, the work in this dissertation identifies and addresses key missing pieces.
First, the dissertation presents a design and test methodology centered around Links and Joints that exploits the similarities between multiple circuit implementation styles. This methodology offers interface uniformity and generality for various asynchronous circuit families and protocols, as well as flexibility in implementation choices and circuit initialization.
Second, this dissertation shows the Link-Joint methodology embedded in a design flow. The resulting flow, called Ọnà (/or-NUHR/, Yoruba for "way"), includes compilation and refinement steps for transforming high-level parallel programs with message passing via circuit-neutral Link-Joint networks into asynchronous circuits, postponing choices in protocol and circuit family as late as possible. Ọnà also carries along test and debug, using a uniform test approach that fosters test reuse from one abstraction level to another.
Ọnà makes it easy to insert asynchrony appropriate for each design part. The dissertation demonstrates this ease by providing methodology and design flow support for various protocols such as 2- and 4-phase protocols, level- and pulse- and transition signaling logic, bundled data, and circuit families such as Click, GasP, Set-Reset, Mousetrap, Micropipelines, and the Single Flux Quantum (*SFQ) superconductor family. The dissertation also demonstrates that mixing and matching different circuit implementation styles in Ọnà is flexible and straightforward.
Rights
© 2024 Ebelechukwu Esimai
In Copyright. URI: http://rightsstatements.org/vocab/InC/1.0/ This Item is protected by copyright and/or related rights. You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s).
Persistent Identifier
https://archives.pdx.edu/ds/psu/42082
Recommended Citation
Esimai, Ebelechukwu, "Design and Test of Asynchronous Systems Using the Link and Joint Model" (2024). Dissertations and Theses. Paper 6610.
https://doi.org/10.15760/etd.3742