Efficient Verification of Parallel Real-Time Systems. - Tomohiro Yoneda; Atsufumi Shibayama; Bernd-Holger Schlingloff; Edmund M. Clarke (CAV, 1993)

A 1.5-W single-chip MPEG-2 MP@ML video encoder with low power motion estimation and clocking. - Masayuki Mizuno; Yasushi Ooi; Naoya Hayashi; Junichi Goto; Masatoshi Hozumi; Koichiro Furuta; Atsufumi Shibayama; Yoetsu Nakazawa; Osamu Ohnishi; Shu-Yu Zhu; Yutaka Yokoyama; Yoichi Katayama; et al. (IEEE J. Solid State Circuits, 1997)

Verification of asynchronous logic circuit design using process algebra. - Tomohiro Yoneda; Atsufumi Shibayama; Takashi Nanya (Syst. Comput. Jpn., 1997)