A Caltech Library Service

Slack matching


Prakash, Piyush (2005) Slack matching. Master's thesis, California Institute of Technology.


In this thesis we present a method for slack matching asynchronous circuits, described as a collection of handshaking expansions. We present an execution model for a restricted class of HSE. We define the number of messages that a process contains. The static slack, dynamic slack and dynamic threshold are defined. We state sufficient conditions under which the dynamic slack of a pipeline of half-buffers is the sum of that of the processes comprising the pipeline. The slack matching problem is formulated as that of ensuring that all pipelines and rings in a system can simultaneously contain a number of messages that is no less than the dynamic threshold but no greater than the dynamic slack. We describe an algorithm to formulate the slack matching problem as a mixed integer linear program.

Item Type:Thesis (Master's thesis)
Subject Keywords:asynchronous; slack elasticity
Degree Grantor:California Institute of Technology
Division:Engineering and Applied Science
Major Option:Computer Science
Thesis Availability:Restricted to Caltech community only
Research Advisor(s):
  • Martin, Alain J.
Thesis Committee:
  • Unknown, Unknown
Defense Date:26 May 2005
Non-Caltech Author Email:piyush (AT)
Record Number:CaltechETD:etd-05272005-134017
Persistent URL:
Default Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:2151
Deposited By: Imported from ETD-db
Deposited On:02 Jun 2005
Last Modified:26 Dec 2012 02:47

Thesis Files

[img] PDF (ms.pdf) - Final Version
Restricted to Caltech community only
See Usage Policy.

[img] Postscript ( - Final Version
Restricted to Caltech community only
See Usage Policy.


Repository Staff Only: item control page