He pioneered the process of synthesizing an asynchronous circuit from HDL.