Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Ryosuke Oishi is active.

Publication


Featured researches published by Ryosuke Oishi.


design, automation, and test in europe | 2005

Integrating UML into SoC Design Process

Qiang Zhu; Ryosuke Oishi; Takashi Hasegawa; Tsuneo Nakata

In this paper, we propose a method for integrating UML model into the current SoC design process. UML is introduced as a formal model of specification for SoC design. The consistency and completeness of the specification is validated based on the formal UML model. The implementation is validated by a systematic derivation of test scenarios from the UML model. The method has been applied to the design of a new media-processing chip for mobile devices. The application of the method shows that it is not only effective for finding logical errors in the implementation, but also eliminates errors due to inconsistency and incompleteness of the specification.


international conference on hardware/software codesign and system synthesis | 2004

System-on-chip validation using UML and CWL

Qiang Zhu; Ryosuke Oishi; Takashi Hasegawa; Tsuneo Nakata


Archive | 2012

Mobile terminal device, communication system, communication program, and control method

Yasushi Hara; Katsumi Otsuka; Ryosuke Oishi


Archive | 2006

Systematic generation of scenarios from specification sheet

Akio Matsuda; Qiang Zhu; Ryosuke Oishi


Archive | 2011

WIRELESS COMMUNICATION DEVICE, WIRELESS COMMUNICATION METHOD AND COMMUNICATION CONTROL PROGRAM

Yasushi Hara; Katsumi Otsuka; Ryosuke Oishi


Archive | 2011

VERIFICATION SUPPORTING SYSTEM

Ryosuke Oishi; Akio Matsuda; Koichiro Takayama; Tsuneo Nakata


Archive | 2009

Verification support apparatus, verification support method, and computer product

Akio Matsuda; Ryosuke Oishi


Archive | 2010

VERFICATION APPARATUS AND DESIGN VERFICATION PROGRAM

Ryosuke Oishi; Praveen K. Murthy; Rafael Kazumiti Morizawa


Archive | 2009

Hardware logic verification support apparatus, verification support method and computer product

Akio Matsuda; Ryosuke Oishi


Archive | 2008

Verification supporting apparatus, verification supporting method, and computer product

Akio Matsuda; Ryosuke Oishi; Koichiro Takayama; Tsuneo Nakata; Rafael Kazumiti Morizawa

Collaboration


Dive into the Ryosuke Oishi's collaboration.

Researchain Logo
Decentralizing Knowledge