Handouts and Extra Reading

• Lecture 2 (9/2)
• Lecture 3 (9/7)
• Lectures 4 and 5 (9/9-9/14)
• Lectures 6 and 7 (9/17-9/21)
• Lectures 8 through 10 (9/28-10/5)
• Lecture 11 (10/7)
• Lecture 12 (10/14)
• Lecture 13 (10/21)
• Async microprocessor decomposition

• Lectures 2-3:
  • C.A.R. Hoare. Communicating Sequential Processes. Communications of the ACM, 21(8):666-677, 1978.
  • A.J. Martin. The probe: an addition to communication primitives. Information Processing Letters, 20:125-130, 1985.
  • A.J. Martin. An axiomatic definition of synchronization primitives. Acta Informatica, 16(2):219-235, 1981.
• Lecture 4-8:
  • A.J. Martin. Compiling Communicating Processes into Delay-insensitive VLSI circuits. Distributed Computing, 1(4), 1986.
• Lecture 9:
  • R. Manohar. An Analysis of Reshuffled Handshaking Expansions. Proc. ASYNC 2001, 2001.
• Lecture 11-15:
  • R. Manohar, T.K. Lee, A.J. Martin. Projection: A Synthesis Technique for Concurrent Systems. Proc. ASYNC 1999, 1999.
  • A.J. Martin. Asynchronous datapaths and the design of an asynchronous adder. Formal Methods in System Design, 1(1):119-139, 1992.
• Lecture 16:
  • J. Seizovic. Pipeline Synchronization. Proc. ASYNC 1994, 1994.
• Async microprocessor decomposition
  • A.J. Martin, S.M. Burns, T.K. Lee, D. Borkovic, P.J. Hazewindus. The design of an asynchronous microprocessor. Proc. ARVLSI 1989, 1989.
• Timing analysis
  • S.M. Burns, A.J. Martin. Performance Analysis and Optimization of Asynchronous Circuits. Proc. ARVLSI 1991.