Practical Synthesis of Speed-Independent Circuits Using Unfoldings. - Uisok Kim; Dong-Ik Lee (ASP-DAC, 1998)