Shohei Ono

Publication Activity (10 Years)

Years Active: 2012-2013
Publications (10 Years): 0

Top Topics

Features Extraction

Simulation Study

Sparse Sampling

Top Venues

Publications

Masahiro Fujita, Satoshi Jo, Shohei Ono, Takeshi Matsumoto
Partial synthesis through sampling with and without specification. ICCAD (2013)
Shohei Ono, Takeshi Matsumoto, Masahiro Fujita
Automatic assertion extraction in gate-level simulation using GPGPUs. ICCD (2012)
Takeshi Matsumoto, Shohei Ono, Masahiro Fujita
An efficient method to localize and correct bugs in high-level designs using counterexamples and potential dependence. VLSI-SoC (2012)