Scalable formal design methods for asynchronous VLSI.

Rajit Manohar

Browse the full POPL paper archive.