True, but inventing a new language for asynchronous hardware wouldn't be as big of a job as reinventing an industry standard like VHDL. Something
like a small lightweight concurrent process description formalism with a Petri net based
operational semantics would do nicely, and such things have been well
understood for decades. The hard part is for it to gain traction.