VLDB 2026 Research / reviewers in the wild / expert
Namseung Kim
dblp:90/4913
· DBLP profile ↗
1ranked-venue papers
1as first author
0since 2021 · last 1998
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1 · 1 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
1 paper |
Electronic design automation · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation › hardware verification and test › functional verification
emulation |
0.0 | 1 | 1998 | Virtual Chip: Making Functional Models Work on Real Target Systems · DAC 1998 |
Electronic design automation › hardware verification and test
functional verification |
0.0 | 1 | 1998 | Virtual Chip: Making Functional Models Work on Real Target Systems · DAC 1998 |
Electronic design automation
hardware verification and test |
0.0 | 1 | 1998 | Virtual Chip: Making Functional Models Work on Real Target Systems · DAC 1998 |
Electronic design automation
design space exploration |
0.0 | 1 | 1998 | Virtual Chip: Making Functional Models Work on Real Target Systems · DAC 1998 |
Methods — techniques the papers use, named apart from their topics
virtual chip methodology · 0.0HDL simulation · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1998 | Virtual Chip: Making Functional Models Work on Real Target SystemsabstractAs design complexity increases, functional verification becomes a crucial issue to ensure design correctness at an early design stage. Traditional methods for verifying functional designs are based on the HDL simulation, which is becoming the bottleneck of the design cycle because of the increasing design complexity. The accurate verification ability at the architectural level through a large set of the test programs and real world applications is a foundation for the next design step. In this paper, we describe how to verify a functional model on a real target system. The proposed methodology called virtual chip makes it possible not only to check the functional correctness on real systems, but also to explore design space by measuring the performance effectiveness of various architecture parameters under real applications. Experimental results show that functional models can be verified on real systems using complicated application programs. The proposed functional verification method is faster than HDL simulation and even comparable to emulation. Namseung Kim, Hoon Choi, Seungjong Lee, Seungwang Lee, In-Cheol Park, Chong-Min Kyung |
DAC | 1 |