Definirea speed independence a sistemelor booleene asincrone, ITM Web Conf. 49 02008 (2022), DOI: 10.1051/itmconf/20224902008
Mathematical Subject Classification (2020): 94C11, 06E30, 94D10
Cuvinte cheie : funcţie booleană, mulţime omega limită, mulţime finală
Un sistem asincron boolean de timp discret constă într-o funcţie Φ:{0,1}n→{0,1}n care îşi iterează coordonatele Φ1,...,Φn independent una de alta. Duratele de calcul ale lui Φ1,...,Φn sunt presupuse necunoscute. Analiza acestor sisteme are ca scop esenţial caracterizarea dinamicii lor în condiţii de incertitudine. Pentru aceasta, o foarte citată lucrare clasică este [1], în care se defineşte conceptul fundamental de speed independence. Problema este, ca în multe cazuri similare, că inginerii primesc din aceste lucrări intuiţie, combinată cu o anumită lipsă de rigoare. Scopul nostru este de a încerca o întărire matematică a teoriei circuitelor asincrone a lui Muller, ca un modest omagiu, peste timp, adus autorilor.
O listă de modele matematice folosite în teoria sistemelor asincrone e dată în [3]. Uneltele matematice folosite în prezenta analiză pot fi găsite în [2].
Referinţe
[1] David E. Muller, Scott W. Bartky, A theory of asynchronous circuits, in "Proceedings of an International Symposium on the Switching Theory," Vol. 29 of the Annals of the Computation Laboratory of Harvard University, pp. 204-243, Harvard University Press, Cambridge, Mass., 1959.
[2] Serban E. Vlad, Boolean Systems: Topics in Asynchronicity, Academic Press, 2023 (to appear).
[3] Alexandre Yakovlev, Luciano Lavagno, Alberto Sangiovanni-Vincentelli, A unified signal transition graph model for asynchronous control circuit synthesis. Form Method Syst Des 9, 139-188 (1996). https://doi.org/10.1007/BF00122081.
