Lectures

• L1: Introduction (8/27)
• L2: Communicating Hardware Processes (8/29)
  • 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.
• L3: Synchronization (9/3)
  • A.J. Martin. An axiomatic definition of synchronization primitives. Acta Informatica, 16(2):219-235, 1981.
• L4: Production rules (9/5)
  • A.J. Martin. Compiling Communicating Processes into Delay-insensitive VLSI circuits. Distributed Computing, 1(4), 1986.
• L5: Production rules (9/10)
• L6: Handshaking expansions (9/12)
• L7: Synthesis (9/17)
• L8: Synthesis (9/19)
• L9: Reshuffling (9/24)
  • R. Manohar. An Analysis of Reshuffled Handshaking Expansions. Proc. ASYNC 2001, 2001.
• Tools overview (9/26)
• L10: Bubble reshuffling (10/1)
• L11: Process decomposition (10/3)
• -- fall break -- (10/8)
• L12: Advanced process decomposition (10/10)
  • R. Manohar, T.K. Lee, A.J. Martin. Projection: A Synthesis Technique for Concurrent Systems. Proc. ASYNC 1999, 1999.
• L13: Control/data separation (10/15)
• L14: Function blocks (10/17)
  • A.J. Martin. Asynchronous datapaths and the design of an asynchronous adder. Formal Methods in System Design, 1(1):119-139, 1992.
• L15: Arbitration (10/22)
• L16: Interfaces (10/24)
  • J. Seizovic. Pipeline Synchronization. Proc. ASYNC 1994, 1994.
• The first asynchronous microprocessor (10/29, 10/31)
  • A.J. Martin, S.M. Burns, T.K. Lee, D. Borkovic, P.J. Hazewindus. The design of an asynchronous microprocessor. Proc. ARVLSI 1989, 1989.
• Projection examples (11/5, 11/7)
• Project discussion (11/12)
• L17: Timing Analysis
  • S.M. Burns, A.J. Martin. Performance Analysis and Optimization of Asynchronous Circuits. Proc. ARVLSI 1991.
• L18: Pipeline Dynamics
  • A.Lines, U.Cummings, A.J. Martin. An Asynchronous Pipelined Lattice-structure Filter. Proc. ASYNC 1994.
  • T. Williams, M. Horowitz. A zero-overhead self-timed 160-ns 54-b CMOS divider. IEEE JSSC 1991
• L19: Extended Event-Rule Systems
  • T.K. Lee, A.J. Martin. Extended Event-Rule Systems and Performance Analysis of Asynchronous Systems. Proc. TAU 1995