Logic verification system for very large computers using LSI's. - Yasuhiro Ohno; Masayuki Miyoshi; Katsuya Sato (DAC, 1979)

Speed up techniques of logic simulation. - Masayuki Miyoshi; Yoshiharu Kazama; Osamu Tada; Yasuo Nagura; Nobutaka Amano (DAC, 1985)

An extensive logic simulation method of very large scale computer design. - Masayuki Miyoshi; Yoshio Ooshima; Atsushi Sugiyama; Nobuhiko Onizuka; Nobutaka Amano (DAC, 1986)

Principles of design automatioon system for very large scale computer design. - Yasuhiro Ohno; Masayuki Miyoshi; Norio Yamada; Toshihiko Odaka; Tokinori Kozawa; Kooichiro Ishihara (DAC, 1986)

Clock Event Suppression Algorithm of VELVET and Its Application to S-820 Development. - Yoshio Takamine; Shunsuke Miyamoto; Shigeo Nagashima; Masayuki Miyoshi; Shun Kawabe (DAC, 1988)

VFSIM: Vectorized Fault Simulator Using a Reduction Technique Excluding Temporarily Unobservable Faults. - Takaharu Nagumo; Masahiko Nagai; Takao Nishida; Masayuki Miyoshi; Shunsuke Miyamoto (DAC, 1994)

Accelerating Phase Correlation Functions Using GPU and FPGA. - Kentaro Matsuo; Tsuyoshi Hamada; Masayuki Miyoshi; Yuichiro Shibata; Kiyoshi Oguri (AHS, 2009)