Travelled to:4 × USA
Collaborated with:Y.Ohno S.Miyamoto N.Amano K.Sato T.Nagumo M.Nagai T.Nishida Y.Takamine S.Nagashima S.Kawabe Y.Ooshima A.Sugiyama N.Onizuka Y.Kazama O.Tada Y.Nagura N.Yamada T.Odaka T.Kozawa K.Ishihara
Talks about:design (3) comput (3) simul (3) logic (3) veri (3) larg (3) techniqu (2) system (2) scale (2) fault (2)
Person: Masayuki Miyoshi
DBLP: Miyoshi:Masayuki
Contributed to:
19941988198619851979Wrote 6 papers:
- DAC-1994-NagumoNNMM #fault #named #reduction #using
- VFSIM: Vectorized Fault Simulator Using a Reduction Technique Excluding Temporarily Unobservable Faults (TN, MN, TN, MM, SM), pp. 510–515.
- DAC-1988-TakamineMNMK #algorithm #development
- Clock Event Suppression Algorithm of VELVET and Its Application to S-820 Development (YT, SM, SN, MM, SK), pp. 716–719.
- DAC-1986-MiyoshiOSOA #design #logic #scalability #simulation
- An extensive logic simulation method of very large scale computer design (MM, YO, AS, NO, NA), pp. 360–365.
- DAC-1986-OhnoMYOKI #design #scalability
- Principles of design automatioon system for very large scale computer design (YO, MM, NY, TO, TK, KI), pp. 354–359.
- DAC-1985-MiyoshiKTNA #logic #simulation
- Speed up techniques of logic simulation (MM, YK, OT, YN, NA), pp. 812–815.
- DAC-1979-OhnoMS #logic #scalability #using #verification
- Logic verification system for very large computers using LSI’s (YO, MM, KS), pp. 367–374.