Abstract
The goal of this research is to enable the actual building of parallel machines. The example chosen in this paper is a heterogeneous parallel machine with an intrinsic asynchronous behavior. An asynchronous router fully supports such a logical asynchronism. However, every parallel processor would exhibit asynchronism similar enough to warrant the study of a general methodology. The main part of the paper deals with an original method that ensures a hazard-free self-timed design assuming the worst conditions for robustness. Hazards are classified under three types. On top of logic hazards that resort to implementation, equation hazards are eliminated by an optimal covering. A new variable labelled state-trajectory is proposed: its integrity guarantees immunity to function hazards. The method was fruitfully applied to the VLSI CMOS implementation of the above-mentioned router. Peculiar fully customized cells were designed. Circuit-measured performances as well as some machine inner-communication performances are presented.
Similar content being viewed by others
References
V.I. Varshavsky, V.B. Marakhovsky, and R.A. Lashevsky, "Selftimed data transmission in massively parallel computing systems," Integrated Computer-Aided Engineering, Vol. 4, No. 1, pp. 47–65, Jan. 1997.
E. Senn, P. Fiorini, P. Hoffman, and T. Porcher, "Proposition pour une architecture hétérogène," RenPar6, 6èmes Rencontres Francophones du Parallélisme, June 1994.
E. Senn and B. Zavidovique, "A self timed asynchronous router for an heterogeneous parallel machine," IEEE Proceedings of the Eighth Great Lakes Symposium on VLSI, Lafayette, Louisiana, pp. 161–167, Feb. 1998.
P. Fiorini, "Réseaux d'interconnexion pour les architectures paralläles. Les delta-pyramides et le projet Phénix," Ph.D. thesis, Université de Paris-Sud, U.F.R. Scientifique d'Orsay, Dec. 1994.
P. Fiorini, "Une étape dans la conception de l'architecture de la machine Phénix," Technical Report, DGA/CREA/ETCA, Labo SP, March 1994.
P. Michaud. "Quel RISC pour Phénix?," Technical Report, DGA/CREA/ETCA, Labo SP, 1994.
T.J. Chaney, "Measured flip-flop responses to marginal triggering," IEEE Trans. on Computers, Vol c-32, No. 12, Dec. 1983.
C.W. Moon, P.R. Stephan, and R.K. Brayton, "Specification, synthesis, and verification of hazard-free asynchronous circuits," Journal of VLSI Signal Processing, Vol. 7, Nos. 1/2, pp. 85–100, Feb. 1994.
C.W. Moon, P.R. Stephan, and R.K. Brayton, "Synthesis of hazard-free asynchronous circuits from graphical specifications," IEEE Proceedings of the International Conference on Computer-Aided Design, pp. 322–325, Nov. 1991.
P.A. Beerel and T.H.-Y. Meng, "Automatic gate-level synthesis of speed-independent circuits," IEEE Proceedings of the International Conference on Computer-Aided Design, pp. 581–586, Nov. 1992.
M. Kishinevsky, A. Kondratyev, A. Taubin, and V. Varshavsky, Concurrent Hardware: The Theory and Practice of Self-Timed Design, Series in Parallel Computing, JohnWiley & Sons, 1994.
Tam-Anh Chu, "Synthesis of self-timed control circuits from graphs: An example," IEEE Proceedings of the International Conference on Computer Design, pp. 565–571, Oct. 1986.
E. Senn, "Self-timed design: Methodology and application to the building of a communication processor for a parallel machine," Ph.D. thesis, Université de Paris-Sud, U.F.R. Scientifique d'Orsay, April 1998.
A.J. Martin, "The limitation of delay-insensitivity in asynchronous circuits," Advanced Research in VLSI, MIT Press, 1990.
T.H.-Y. Meng, R.W. Brodersen, and D.G. Messerschmitt, "Automatic synthesis of asynchronous circuits from high-level speci-fications," IEEE Transactions on Computer-Aided Design, Vol. 8, No. 11, pp. 1185–1205, Nov. 1989.
F. Prosser, D. Winkel, and E. Brunvand, "A comparison of modular self-timed design styles," Technical Report TR 420, Computer Science, University of Indiana, March 1995.
I.E. Sutherland, "Micropipelines," Communication of the ACM, Vol. 32, No. 6, June 1989.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Senn, E., Zavidovique, B. Hazard-Free Self-Timed Design: Methodology and Application to Asynchronous Routing in an Heterogeneous Parallel Machine. The Journal of VLSI Signal Processing-Systems for Signal, Image, and Video Technology 22, 197–215 (1999). https://doi.org/10.1023/A:1008129322583
Published:
Issue Date:
DOI: https://doi.org/10.1023/A:1008129322583