Shohei Ono

According to our database, Shohei Ono authored at least 3 papers between 2012 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Partial synthesis through sampling with and without specification.

Masahiro Fujita, Satoshi Jo, Shohei Ono, Takeshi Matsumoto

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

2012

An efficient method to localize and correct bugs in high-level designs using counterexamples and potential dependence.

Takeshi Matsumoto, Shohei Ono, Masahiro Fujita

Proceedings of the 20th IEEE/IFIP International Conference on VLSI and System-on-Chip, 2012

Automatic assertion extraction in gate-level simulation using GPGPUs.

Shohei Ono, Takeshi Matsumoto, Masahiro Fujita

Proceedings of the 30th International IEEE Conference on Computer Design, 2012