Demo Data from VLDB 2026 / reviewers in the wild / expert
Masayuki Miyoshi
dblp:15/1495
· DBLP profile ↗
6ranked-venue papers
2as first author
0since 2021 · last 1994
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 6 · 2 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
6 papers |
Electronic design automation · 92% Integrated circuit design · 6% Processor architecture and microarchitecture · 2% |
Topics — the 8 heaviest of 9, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation
hardware verification and test |
0.0 | 2 | 1994 | VFSIM: Vectorized Fault Simulator Using a Reduction Technique Excluding Temporarily Unobservable Faults · DAC 1994 Clock Event Suppression Algorithm of VELVET and Its Application to S-820 Development · DAC 1988 |
Electronic design automation › hardware verification and test
fault simulation |
0.0 | 1 | 1994 | VFSIM: Vectorized Fault Simulator Using a Reduction Technique Excluding Temporarily Unobservable Faults · DAC 1994 |
Electronic design automation › hardware verification and test
hardware verification |
0.0 | 3 | 1986 | An extensive logic simulation method of very large scale computer design · DAC 1986 Speed up techniques of logic simulation · DAC 1985 Logic verification system for very large computers using LSI's · DAC 1979 |
Electronic design automation › hardware verification and test
logic simulation |
0.0 | 2 | 1986 | An extensive logic simulation method of very large scale computer design · DAC 1986 Speed up techniques of logic simulation · DAC 1985 |
Integrated circuit design
VLSI design |
0.0 | 2 | 1986 | Principles of design automatioon system for very large scale computer design · DAC 1986 Logic verification system for very large computers using LSI's · DAC 1979 |
Electronic design automation › hardware verification and test › functional verification
logic verification |
0.0 | 1 | 1979 | Logic verification system for very large computers using LSI's · DAC 1979 |
Integrated circuit design
low-power circuit design |
0.0 | 1 | 1988 | Clock Event Suppression Algorithm of VELVET and Its Application to S-820 Development · DAC 1988 |
Processor architecture and microarchitecture › general-purpose processor architecture
mainframe processor design |
0.0 | 1 | 1986 | An extensive logic simulation method of very large scale computer design · DAC 1986 |
Methods — techniques the papers use, named apart from their topics
vectorization · 0.0pattern parallelism · 0.0event-driven simulation · 0.0multi-level simulation · 0.0function test programs · 0.0gate evaluation prediction · 0.0event reduction · 0.0circuit transformation · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1994 | VFSIM: Vectorized Fault Simulator Using a Reduction Technique Excluding Temporarily Unobservable FaultsabstractA new fault simulator (VFSIM) for synchronous sequential circuits has been developed and applied to random access scan circuits of several hundred LSIs in mainframe computers.The results show that VFSIM is one or two orders of magnitude faster than a conventional fault simulator designed for random access scan circuits.A vectorized pattern parallel event-driven method is introduced for accelerating the fault simulator for synchronous sequential circuits.Utilizing the concept of unobservable regions (UOR), in which simulation of temporarily unobservable faults is avoided, contributes greatly to further acceleration, especially for random access scan circuits. Takaharu Nagumo, Masahiko Nagai, Takao Nishida, Masayuki Miyoshi, Shunsuke Miyamoto |
DAC | 4 |
| 1988 | Clock Event Suppression Algorithm of VELVET and Its Application to S-820 Development
Yoshio Takamine, Shunsuke Miyamoto, Shigeo Nagashima, Masayuki Miyoshi, Shun Kawabe |
DAC | 4 |
| 1986 | An extensive logic simulation method of very large scale computer designabstractThe paper describes one of the methods to evaluate the design verification progress of logic simulation. In the development of the very large scale general purpose computer HITACHI M-680H/682H, the function test programs designed for the products have been directly used to verify the design in simulation. Test programs establish the definite goal and enable to extensively verify the design. The simulation techniques, which carry out at high speed the very large design described in different levels of abstraction, have developed for this purpose. The method has detected 30% of design errors of M-68X and effectively reduced its development time. Masayuki Miyoshi, Yoshio Ooshima, Atsushi Sugiyama, Nobuhiko Onizuka, Nobutaka Amano |
DAC | 1 |
| 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 | 2 |
| 1985 | Speed up techniques of logic simulationabstractThis paper describes new simulation which reduce the computing requirement of a gate level logic simulator. The logic circuit to be simulated is transformed into the smaller one. The number of events as well as the storage necessary for expressing the logic circuits are decreased. Also, the evaluation of gates becomes faster by predicting whether a gate's input signal change would cause the gate's output signal change or not. Our simulator with these techniques has dealt with the logic of some 1,200,000 gates and has saved the computer processing time in developing our computer products. Masayuki Miyoshi, Yoshiharu Kazama, Osamu Tada, Yasuo Nagura, Nobutaka Amano |
DAC | 1 |
| 1979 | Logic verification system for very large computers using LSI's
Yasuhiro Ohno, Masayuki Miyoshi, Katsuya Sato |
DAC | 2 |