Issued Patents All Time
Showing 1–23 of 23 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9588867 | Information processing device, method for reporting remaining battery capacity, and recording medium | — | 2017-03-07 |
| 9378316 | Computer product for supporting design and verification of integrated circuit | Akio Matsuda | 2016-06-28 |
| 9298245 | Information processing apparatus performing processes in parallel | — | 2016-03-29 |
| 9177088 | Computer product for supporting design and verification of integrated circuit | Akio Matsuda | 2015-11-03 |
| 9066349 | Wireless communication device, wireless communication method and communication control program | Yasushi Hara, Katsumi Otsuka | 2015-06-23 |
| 8966504 | Information processing apparatus, electrical power control method, and computer product | — | 2015-02-24 |
| 8949019 | Communication device, mobile terminal, medium, information generation method, and system | David Thach, Atsushi Ike, Yutaka Tamiya | 2015-02-03 |
| 8898670 | Information processing apparatus, power control method, and computer product | Akio Matsuda | 2014-11-25 |
| 8832636 | Verification support computer product, apparatus, and method | David Thach, Yutaka Tamiya | 2014-09-09 |
| 8671372 | Verification support computer product, apparatus, and method | David Thach, Yutaka Tamiya | 2014-03-11 |
| 8515402 | Mobile terminal device, communication system, communication program, and control method | Yasushi Hara, Katsumi Otsuka | 2013-08-20 |
| 8370781 | Computer product for supporting design and verification of integrated circuit | Akio Matsuda | 2013-02-05 |
| 8365112 | Verification apparatus and design verification program | Praveen K. Murthy, Rafael Kazumiti Morizawa | 2013-01-29 |
| 8312400 | Verification supporting system | Akio Matsuda, Koichiro Takayama, Tsuneo Nakata | 2012-11-13 |
| 8291369 | Computer-readable recording medium storing verification support program, verification support apparatus, and verification support method for supporting verification of hardware system design including different hardware models | Atsushi Ike | 2012-10-16 |
| 8099697 | Hardware logic verification support apparatus, verification support method and computer product | Akio Matsuda | 2012-01-17 |
| 8060848 | Verification support apparatus, verification support method, and computer product | Akio Matsuda | 2011-11-15 |
| 8015519 | Verification supporting apparatus, verification supporting method, and computer product | Akio Matsuda, Koichiro Takayama, Tsuneo Nakata, Rafael Kazumiti Morizawa | 2011-09-06 |
| 7984403 | Verification supporting system | Akio Matsuda, Koichiro Takayama, Tsuneo Nakata | 2011-07-19 |
| 7937680 | Method and apparatus for verifying specification, and computer product | Qiang Zhu, Tsuneo Nakata, Takashi Hasegawa | 2011-05-03 |
| 7904843 | Systematic generation of scenarios from specification sheet | Akio Matsuda, Qiang Zhu | 2011-03-08 |
| 7895553 | Verification support method and apparatus, and computer product | Akio Matsuda | 2011-02-22 |
| 7788643 | Method and apparatus for supporting verification of hardware and software, and computer product | Qiang Zhu | 2010-08-31 |