Abstract
We study simulation of gate circuits in algebra C recently introduced by Brzozowski and Ésik.A transient is a word consisting of alternating 0s and 1s; it represents a changing signal. In C, gates process transients instead of 0s and 1s. Simulation in C is capable of counting signal changes, and detecting hazards.We study two simulation algorithms: a general one, A, that works with any state, and Ã, that applies if the initial state is stable.We show that the two algorithms agree in the stable case. We prove the sufficiency of the simulation: all signal changes occurring in binary analysis are also predicted by Algorithm A.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Brzozowski, J. A., Ésik, Z.: Hazard algebras. Formal Methods in System Design, to appear.
Brzozowski, J. A., Ésik, Z., Iland, Y.: Algebras for hazard detection. Proc. 31st Int. Symp. Multiple-Valued Logic, IEEE Comp. Soc. (2001) 3–12
Brzozowski, J. A., Seger, C.-J. H.: Asynchronous circuits. Springer-Verlag (1995)
Coates, W. S., Lexau, J. K., Jones, I. W., Fairbanks, S. M., Sutherland, I. E.: A FIFO data switch design experiment. Proc. ASYNC’ 98, IEEE Comp. Soc. (1998) 4–16
Eichelberger, E. B.: Hazard detection in combinational and sequential circuits. IBM J. Res. and Dev. 9 (1965) 90–99
Garside, J. D., Furber, S. B., Chang, S.-H.: AMULET3 revealed. Proc. ASYNC’ 99, IEEE Comp. Soc. (1999) 51–59
Gheorghiu, M.: Circuit simulation using a hazard algebra. MMathThesis, School of Computer Science, University ofWaterloo,Waterloo, ON, Canada (2001)
Gheorghiu, M., Brzozowski, J. A.: Feedback-free circuits in the algebra of transients. Proc. CIAA 2002, this volume.
Kessels, J., Marston, P.: Designing asynchronous standby circuits for a low-power pager. Proc. ASYNC’ 97, IEEE Comp. Soc. (1997) 268–278
Muller, D. E., Bartky, W. C.: A theory of asynchronous circuits. Proc. Int. Symp. on Theory of Switching, Annals of Comp. Lab., Harvard University 29 (1959) 204–243
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brzozowski, J., Gheorghiu, M. (2003). Simulation of Gate Circuits in the Algebra of Transients. In: Champarnaud, JM., Maurel, D. (eds) Implementation and Application of Automata. CIAA 2002. Lecture Notes in Computer Science, vol 2608. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44977-9_5
Download citation
DOI: https://doi.org/10.1007/3-540-44977-9_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40391-3
Online ISBN: 978-3-540-44977-5
eBook Packages: Springer Book Archive