Issued Patents All Time
Showing 26–48 of 48 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9094382 | Electronic key registration system | Daisuke Kawamura, Masaki Hayashi, Toshihiro Nagae, Hisashi Kato, Tetsuya Egawa | 2015-07-28 |
| 9070279 | Electronic key registration system | Takahiro Shimizu, Tetsuya Egawa, Akihito Kimura, Toshihiro Nagae, Daisuke Kawamura | 2015-06-30 |
| 8681636 | Monitoring apparatus, method, and computer product | Matthieu Parizy | 2014-03-25 |
| 8661384 | Verification support apparatus, verifying apparatus, computer product, verification support method, and verifying method | — | 2014-02-25 |
| 8532576 | System for controlling wireless communication between portable device and communication controller | Daisuke Kawamura, Yoshiyuki Mizuno, Hidenobu Hanaki | 2013-09-10 |
| 8533541 | Verification support of circuit blocks having independent clock domains | — | 2013-09-10 |
| 8525473 | Charging system for hybrid and electric vehicles including an authentication management device arranged in the household | Tomomi Shimizu, Yoshiyuki Mizuno, Kenji Tanaka, Mikihisa Araki, Keiji Yamamoto +2 more | 2013-09-03 |
| 8521872 | Computer product, verification support apparatus, and verification support method | Matthieu Parizy | 2013-08-27 |
| 8407636 | Clock domain crossing verification support | — | 2013-03-26 |
| 8290649 | Registration-based vehicle battery charging system | Yoshiyuki Mizuno, Kenji Tanaka, Mikihisa Araki, Tomomi Shimizu, Masayuki Yurimoto +2 more | 2012-10-16 |
| 8275130 | System and method for registering secret key | Daisuke Kawamura, Kouhei Kishimoto, Yuuki Nawa, Yoshiyuki Mizuno, Hiromitsu Mizuno +4 more | 2012-09-25 |
| 8160859 | Medium storing logic simulation program, logic simulation apparatus, and logic simulation method | — | 2012-04-17 |
| 8150573 | Hybrid car travel mode setting device | Tomomi Shimizu, Yoshiyuki Mizuno, Kenji Tanaka, Mikihisa Araki, Jun Shionoya +2 more | 2012-04-03 |
| 8079001 | Verification of requirements specification, design specification, and computer-readable storage medium apparatus, and method thereof | Qiang Zhu, Koichiro Takayama, Tsuneo Nakata | 2011-12-13 |
| 7911466 | Method and apparatus for editing timing diagram, and computer product | — | 2011-03-22 |
| 7888971 | Verification support system and method | — | 2011-02-15 |
| 7469393 | Method and device for supporting verification, and computer product | — | 2008-12-23 |
| 7464015 | Method and apparatus for supporting verification, and computer product | — | 2008-12-09 |
| 7194713 | Logic verification device, logic verification method, and computer product | — | 2007-03-20 |
| 6654715 | Apparatus, method, and storage medium for verifying logical device | — | 2003-11-25 |
| 6141633 | Logical device verification method and apparatus | Tsuneo Nakata | 2000-10-31 |
| 5708594 | Automatic instruction string generation method and device for verifying processor operation model and logic | Satoshi Kowatari, Tsuneo Nakata, Fumiyasu Hirose | 1998-01-13 |
| 5673425 | System for automatic generating instruction string to verify pipeline operations of a processor by inputting specification information having time for the processor to access hardware resources | — | 1997-09-30 |