Login / Signup
Jay B. Kim
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Leaf Nodes
Tens Of Thousands
Asynchronous Circuits
Model Checking
Top Venues
ISOCC
</>
Publications
</>
Namdo Kim
,
Young-Nam Yun
,
Young-Rae Cho
,
Jay B. Kim
,
Byeong Min
How to automate millions lines of top-level UVM testbench and handle huge register classes.
ISOCC
(2012)
Youngchan Lee
,
Namdo Kim
,
Jay B. Kim
,
Byeong Min
Millions to thousands issues through knowledge based SoC CDC verification.
ISOCC
(2012)
DaeSeo Cha
,
HyunWoo Koh
,
NamPhil Jo
,
Jay B. Kim
,
Byeong Min
,
Karthik Kothandapani
,
Riccardo Oddone
,
Adam D. Sherer
Verification of massive advanced node SoCs.
ISOCC
(2012)
Yeon-Ho Im
,
Seong-Hee Yim
,
Jay B. Kim
A web service for automated IP/SoC verification using computers on network.
ISOCC
(2012)