Formal Verification Methodology for Asynchronous Sleep Convention Logic Circuits Based on Equivalence Verification

No Thumbnail Available

Date

2019

Journal Title

Journal ISSN

Volume Title

Publisher

North Dakota State University

Abstract

Sleep Convention Logic (SCL) is an emerging ultra-low power Quasi-Delay Insensitive (QDI) asynchronous design paradigm with enormous potential for industrial applications. Design validation is a critical concern before commercialization. Unlike other QDI paradigms, such as NULL Convention Logic (NCL) and Pre-Charge Half Buffers (PCHB), there exists no formal verification methods for SCL. In this thesis, a unified formal verification scheme for combinational as well as sequential SCL circuits is proposed based on equivalence checking, which verifies both safety and liveness. The method is demonstrated using several multipliers, MACs, and ISCAS benchmarks.

Description

Keywords

asynchronous, equivalence verification, formal verification, multi-threshold null convention logic, QDI, sleep convention logic

Citation