Taizo Satoh

Publication Activity (10 Years)

Years Active: 1990-1998
Publications (10 Years): 0

Publications

Koichiro Takayama, Taizo Satoh, Tsuneo Nakata, Fumiyasu Hirose
An approach to verify a large scale system-on-a-chip using symbolic model checking. ICCD (1998)
Takeshi Kitahara, Taizo Satoh
The Gmicro/300 32-bit microprocessor. IEEE Micro 10 (3) (1990)