Towards a Mathematical Theory of the Delays of the Asynchronous Circuits

TL;DR

This paper introduces a mathematical framework using pseudo-Boolean differential calculus to analyze delays in asynchronous circuits, aiming to formalize aspects of digital electrical engineering.

Contribution

It proposes a novel mathematical approach to model asynchronous circuit delays, providing a foundation for semi-formalized digital circuit analysis.

Findings

Develops inequations for circuit delays using pseudo-Boolean calculus

Provides a basis for formalizing digital electrical engineering concepts

Lays groundwork for future mathematical modeling of asynchronous circuits

Abstract

The inequations of the delays of the asynchronous circuits are written, by making use of pseudo-Boolean differential calculus. We consider these efforts to be a possible starting point in the semi-formalized reconstruction of the digital electrical engineering (which is a non-formalized theory).