We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
Extended Boolean algebra for asynchronous quasi‐delay‐insensitive logic.
- Authors
Tran, Linh Duc; Chi Pham, Thanh; Kavehei, Omid; Burton, Peter C.M.; Matthews, Glenn I.
- Abstract
Asynchronous quasi‐delay‐insensitive (QDI) circuits have recently become an active research area in digital logic design. In contrast with synchronous paradigms, QDI approaches utilise threshold gates with hysteresis, such as Muller C‐element and null convention logic (NCL) gates. However, there are no existing methods to explicitly describe these hysteretic logic gates in Boolean algebra. Therefore, in this study, the authors extend the Boolean algebra with two novel operators, named completion and truth tuple, to enable explicit expressions for all QDI elements such as C‐elements, NCL, NCL+, latches and several non‐conventional hysteretic threshold gates that they call dual‐threshold logic. In addition, they develop a set of 16 laws and theorems for these new operators to create a complete novel algebraic extension for QDI logic. It is demonstrated that the authors' extended algebra is a complete approach for explicit design and analysis of QDI circuits, including logic description, equation formation from truth table, expression simplification and conversion, and even gate mapping and corresponding CMOS implementation. They also provide an analysis and solution for netlist corruption problems during the synthesis process of existing QDI design flows, as well as a complete design example using the extended Boolean algebra with different QDI design styles.
- Publication
IET Circuits, Devices & Systems (Wiley-Blackwell), 2020, Vol 14, Issue 8, p1201
- ISSN
1751-858X
- Publication type
Article
- DOI
10.1049/iet-cds.2020.0062