I can't answer your question but here's a an open source async synthesis system with a simulator: http://apt.cs.manchester.ac.uk/projects/tools/balsa/ http://ap

I can't answer your question but here's a an open source async synthesis system with a simulator: http://apt.cs.manchester.ac.uk/projects/tools/balsa/ http://apt.cs.manchester.ac.uk/projects/tools/balsa/ Last update is from 2010 so I guess it could use some research :)