And write up of Mike Stewart's approach to handling the async logic and propagation delays.
http://mikestewart.hcoop.net/2016/03/06/fpga-support/