Yu-Yun Dai

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 2

Top Topics

Logic Synthesis

Delay Insensitive

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

University of California, Berkeley, USA (PHD)

Education History

University of California, Berkeley, USA

PHD

Publications

Yu-Yun Dai, Robert K. Brayton
Verification and Synthesis of Clock-Gated Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (2) (2019)
Yu-Yun Dai, Robert K. Brayton
Circuit recognition with deep learning. HOST (2017)
Yu-Yun Dai, Kei-Yong Khoo, Robert K. Brayton
Sequential equivalence checking of clock-gated circuits. DAC (2015)