Compiling path expressions into VLSI circuits
Thomas Anantharaman, E. M. Clarke, Michael J. Foster, Bud Mishra · 1985
Path expressions were originally proposed by Campbell and Habermann [1] 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.