Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7840924 | Apparatus, method, and program for verifying logic circuit operating with multiple clock signals | — | 2010-11-23 |
| 7676777 | Method and apparatus for supporting verification, and computer product | Yoshiro Nakamura, Takako Shindo | 2010-03-09 |
| 7401306 | Apparatus and method for verification support, and computer product | — | 2008-07-15 |
| 5708594 | Automatic instruction string generation method and device for verifying processor operation model and logic | Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose | 1998-01-13 |