https://9lib.co/document/q7woewrn-interface-generation-concurrent-processes-hardware-software-synthesis.html