Login / Signup
Kosuke Oshima
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Transition Systems
Hardware Implementation
Alternating Time Temporal Logic
Model Checking
Top Venues
VLSI-SoC
ICCAD
VLSI-SoC (Selected Papers)
</>
Publications
</>
Kosuke Oshima
,
Takeshi Matsumoto
,
Masahiro Fujita
Hardware implementation of BLTL property checkers for acceleration of statistical model checking.
ICCAD
(2013)
Kosuke Oshima
,
Takeshi Matsumoto
,
Masahiro Fujita
Debugging Methods Through Identification of Appropriate Functions for Internal Gates.
VLSI-SoC (Selected Papers)
(2013)
Kosuke Oshima
,
Takeshi Matsumoto
,
Masahiro Fujita
A debugging method for gate level circuit designs by introducing programmability.
VLSI-SoC
(2013)