Preventing glitches and short circuits in high-level self-timed chip specifications.

Stephen Longfield Jr., Brittany Nkounkou, Rajit Manohar, Ross Tate

Browse the full PLDI paper archive.