Asynchronous Design E-Bk
Chris J. Myers
This book is good to start the asynchronous circuit and to verify linear time temporal logic(LTL).
This book show the circuit by the VHDL.
The title should be "Asynchronous Circuit Design Concept, Description with VHDL and Verification with LTL."