CSAIL Publications and Digital Archive header
bullet Technical Reports bullet Work Products bullet Research Abstracts bullet Historical Collections bullet

link to publications.csail.mit.edu link to www.csail.mit.edu horizontal line

 

Research Abstracts - 2006
horizontal line

horizontal line

vertical line
vertical line

Asynchronous Guarded Atomic Action Machines

Michal Karczmarek & Arvind

Abstract

Guarded atomic action machines are state machines which execute certain actions only if specific predicates are true. Execution of each action updates the state in an atomic manner. Thus there is a sequential ordering of action that describes the updates of the state machine.

In my research I am planning on exploring methods for synthesizing guarded atomic action machines using asynchronous circuits. Asynchronous circuits promise a number of improvements over the well understood sequential circuits:

  • asynchronous circuits can be optimized for the average case, rather than worst case
  • low power is an inherent property of asynchronous circuits, no special techniques such as clock gating are required to achieve it
  • asynchronous circuits are more resilient to bad layout and process variations

In my research I will look at how to decouple and overlay execution of atomic actions, evaluation of action guards. This research also promises to give insight into synthesis of synchronous multi-cycle circuits for guarded atomic actions.

vertical line
vertical line
 
horizontal line

MIT logo Computer Science and Artificial Intelligence Laboratory (CSAIL)
The Stata Center, Building 32 - 32 Vassar Street - Cambridge, MA 02139 - USA
tel:+1-617-253-0073 - publications@csail.mit.edu