Rajit has since moved to Yale and has made quite a bit of progress on the tooling problems

https://github.com/asyncvlsi/actflow

https://avlsi.csl.yale.edu/act/doku.php

https://avlsi.csl.yale.edu/chips.php

There's also a bit of documentation up on Wikipedia now

https://en.wikipedia.org/wiki/Quasi-delay-insensitive_circui...