Curtis A. Nelson

Publication Activity (10 Years)

Years Active: 2003-2007
Publications (10 Years): 0

Publications

Curtis A. Nelson, Chris J. Myers, Tomohiro Yoneda
Efficient Verification of Hazard-Freedom in Gate-Level Timed Asynchronous Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26 (3) (2007)
Curtis A. Nelson, Chris J. Myers, Tomohiro Yoneda
Efficient Verification of Hazard-Freedom in Gate-Level Timed Asynchronous Circuits. ICCAD (2003)