Using Analog Meta-Stabilities in Asynchronously Feed-Backed Circuits

Abstract:
Asynchronously feed-backed circuits are allowing for technologically versus digitally determined output which can be suppressed by forbidding the inducing digitally input sequence. We present a novel methodology to exactly explore this digitally assisted analog phenomenon in order to build up a representative test bench that is able to enforce meta-stable behavior, non-deterministics, instabilities as well as oscillations in feed-backed structures. Further, we introduce our definitions for consistently modeling under state transition graphs, provide all entities for modeling asynchronously feed-backed 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 feed-backed digital structures.