Masahiko Ohmura

Functional information extraction from combinational circuits

Hiroto Yasuura, Keikichi Tamaru, Masahiko Ohmura, 1991 .

Behavioral verification of cpus using functional information extraction

Hiroto Yasuura, Keikichi Tamaru, Masahiko Ohmura, 1994 .