This Article 
 Bibliographic References 
 Add to: 
A Tabular Method for Guard Strengthening, Symmetrization, and Operator Reduction for Martin's Asynchronous Design Methodology
September 1997 (vol. 46 no. 9)
pp. 1050-1054

Abstract—We introduce a tabular method to perform the last two of the four phases of Martin's compilation process for asynchronous circuit design. The method is then demonstrated with three examples, illustrating that our systematic method is very straightforward, flexible, and convenient to apply, and, hence, it lends itself to automatic compilation.

[1] P.A. Beerel and T.H-Y. Meng, "Gate-Level Synthesis of Speed Independent Asynchronous Control Circuits," Proc. ACM Int'l Workshop Timing Issues in the Specification and Synthesis of Digital Systems (TAU), Mar. 1992.
[2] T.A. Chu, "Synthesis of Self-Timed VLSI Circuits from Graph-theoretic Specifications," PhD thesis, MIT, June 1987.
[3] C.A.R. Hoare,“Communicating sequential processes,” Comm. of the ACM, vol. 21, no. 8, pp. 666-677, Aug. 1978.
[4] S. Hauck, Asynchronous Design Methodologies: An Overview Proc. IEEE, vol. 83, no. 1, pp. 69-93, 1995.
[5] M. Kishinevsky et al., Concurrent Hardware: The Theory and Practice of Self-Timed Design, John Wiley and Sons, London, 1993.
[6] L. Lavagno, "Synthesis and Testing of Bounded Wire Delay Asynchronous Circuits from Signal Transition Graphs," PhD thesis, Univ. of California at Berkeley, 1992.
[7] L. Lavagno, C.W. Moon, R.K. Brayton, and A. Sangiovanni Vincentelli, "Solving the State Assignment Problem for STG," Proc. 29th Design Automation Conf., pp. 568-572, 1992.
[8] A.J. Martin, "The Design of a Self-timed Circuit for a Distributed Mutual Exclusion," Proc. Chapel Hill Conf. VLSI, pp. 245-260, 1985.
[9] A.J. Martin, "Compiling Communicating Processes into Delay Insensitive VLSI Circuits," Distributed Computing, vol. 1, pp. 226-234, 1986.
[10] A.J. Martin, "Formal Program Transformations for VLSI Circuit Synthesis," UT Year of Programming Inst. Formal Developments of Programs and Proofs, E.W. Dijkstra, ed. Reading, Mass.: Addison-Wesley, 1989.
[11] A.J. Martin, S.M. Burns, T.K. Lee, D. Borkovic, and P.J. Hazewindus, "Design of an Asynchronous Microprocessor," Advanced Research in VLSI 1989: Proc. Decennial Caltech Conf. VLSI, C.L. Seitz, ed. MIT Press, 1989
[12] A.J. Martin, "Programming in VLSI, From Communicating Processes to Delay-Insensitive Circuits," Developments in Concurrency and Communication, chapter one, pp. 1-64. Addison-Wesley, 1990.
[13] A.J. Martin, "Synthesis of Asynchronous VLSI Circuits," Formal Methods for VLSI Design, J. Staunstrup, ed., pp. 237-283.North-Holland: Elsevier Science Publishers B.V., 1990.
[14] T. Meng, "Asynchronous Design for Digital Signal Processing Architectures," PhD thesis, Univ. of California at Berkeley, Nov. 1988.
[15] C.W. Moon, "Synthesis and Verification of Asynchronous Circuits from Graphical Specifications," PhD Thesis, Univ. of California at Berkeley, 1992.
[16] S.M. Nowick and D.L. Dill, "Synthesis of Asynchronous State Machines using a Local Clock," Proc. ICCAD, pp. 318-321, 1991.
[17] N. Tabrizi, M.J. Liebelt, and K. Eshraghian, "Dynamic Hazards and Speed Independent Delay Model," Proc. Second Int'l Symp. Advanced Research in Asynchronous Circuits and Systems, pp. 94-103,Aizu, Japan, Mar. 1996.
[18] N. Tabrizi, M.J. Liebelt, and K. Eshraghian, "Delay Hazards in Complex Gate Based Speed Independent VLSI Circuits," Proc. Sixth Great Lakes Symp. VLSI (GLS-VLSI '96), pp. 266-271, Mar. 1996.
[19] K. Yun, S.M. Nowick, and D.H. Dill, "Synthesis of 3D Asynchronous State Machines," Proc. ISSD, pp. 346-350, 1992.

Index Terms:
Asynchronous sequential circuits, delay insensitive circuits, formal program transformation, guarded commands, self-timed logic, signal transition graphs (STG), speed independent circuits.
Nozar Tabrizi, Michael J. Liebelt, Kamran Eshraghian, "A Tabular Method for Guard Strengthening, Symmetrization, and Operator Reduction for Martin's Asynchronous Design Methodology," IEEE Transactions on Computers, vol. 46, no. 9, pp. 1050-1054, Sept. 1997, doi:10.1109/12.620487
Usage of this product signifies your acceptance of the Terms of Use.