Asynchronous Automata: A Model for Asynchronous Circuits

Title: Asynchronous Automata: A Model for Asynchronous Circuits

Research Question: How can we model asynchronous circuits using asynchronous automata?

Methodology: The research uses mathematical modeling and the concept of asynchronous automata to represent the behavior of asynchronous circuits. It defines the input and state functions that model the input and output electrical signals of the circuits, and explores the relations of determinism between them.

Results: The study presents a model for asynchronous circuits based on } 1 , 0 {→R functions and asynchronous automata. It discusses the modeling of electrical signals, the dual notions, delays, and the solutions of the equations of the asynchronous automata. It also covers continuous and discrete time, transitions, points of equilibrium, the fundamental mode of operation, and semi-modularity.

Implications: This research has implications for the field of electrical engineering and computer science. It provides a new way to model asynchronous circuits, which can be useful in designing and analyzing digital systems. The study also contributes to the understanding of asynchronous automata and their relationship with asynchronous circuits.

Link to Article: https://arxiv.org/abs/0110060v1 Authors: arXiv ID: 0110060v1