A Novel Formalism for Partially Defined Asynchronous Feedback Digital Circuits

In contrast to combinational logic and master clocked sequential logical, asynchronous feedback circuits are partially defined due to analogous meta-stabilities. We present a novel formalism to exactly explore this digitally assisted analog phenomenon in order to build up a representative test bench...

Full description

Saved in:
Bibliographic Details
Published in:Journal of electronic testing 2013-10, Vol.29 (5), p.697-714
Main Authors: Uygur, Gürkan, Sattler, Sebastian M.
Format: Article
Language:English
Subjects:
CAE) and Design
Circuits and Systems
Computer-Aided Engineering (CAD
Digital
Digital electronics
Electrical Engineering
Engineering
Feedback
Feedback circuits
Formalism
Graphs
Instability
Integrated circuits
Oscillations
Stability
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In contrast to combinational logic and master clocked sequential logical, asynchronous feedback circuits are partially defined due to analogous meta-stabilities. We present a novel formalism to exactly explore this digitally assisted analog phenomenon in order to build up a representative test bench that is able to enforce race constraints (meta-stable behavior) for non-deterministics, instabilities as well as for oscillations in feedback structures. Further, we introduce our definitions for consistently modeling under state transition graphs, we provide all entities for modeling asynchronous feedback structures and state our proposed methodology with an exemplary asynchronous circuitry. The given example is explained at a high level of abstraction, all data for revision is provided, too. The approach seems to be capable to test for meta-stabilities, analog behavior in feedback digital structures.
ISSN:0923-8174
1573-0727
DOI:10.1007/s10836-013-5410-z