4 × USA
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
design (3) comput (3) simul (3) logic (3) veri (3) larg (3) techniqu (2) system (2) scale (2) fault (2)
Person: Masayuki Miyoshi
Wrote 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.