Compiling Path Expressions into VLSI Circuits

CMU-CS-85-102

Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster oot Department of Computer Science, Columbia University, NY , Bhubaneswar Mishra

August 1984

Path expressions were originally proposed by Campbell and Habermann as a mechanism for process synchronization at the monitor level in software. Not unexpectedly, they also provide a useful notation for specifying the behavior of asynchronous circuits. Motivated by this potential application we investigate how to directly translate path expressions into hardware.

Our implementation is complicated in the case of multiple path expressions by the need for synchronization on event names that are common to more than one path. Moreover, since events are inherently asynchronous in our model, all of our circuits must be self-timed.

Nevertheless, the circuits produced by our construction have area of the multiple path expression under consideration. This bound holds regardless of the number of individual paths or the degree of synchronization between paths.

28 pages

Return to: SCS Technical Report Collection
School of Computer Science homepage

This page maintained by reports@cs.cmu.edu