Issued Patents All Time
Showing 1–18 of 18 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10248479 | Arithmetic processing device storing diagnostic results in parallel with diagnosing, information processing apparatus and control method of arithmetic processing device | Makoto Suga, Akio Tokoyoda, Masatoshi Aihara, Koji Hosoe | 2019-04-02 |
| 10230625 | Information processing apparatus, information processing system, and communication device | Masahiro Maeda, Tomohiro Inoue, Shinya Hiramoto, Shun Ando, Yuichiro Ajima | 2019-03-12 |
| 10078602 | Information processing apparatus, memory controller, and memory control method | Akio Tokoyoda, Masatoshi Aihara, Koji Hosoe | 2018-09-18 |
| 8312400 | Verification supporting system | Ryosuke Oishi, Akio Matsuda, Tsuneo Nakata | 2012-11-13 |
| 8079003 | Verification support apparatus, verification support method, and computer product | — | 2011-12-13 |
| 8079001 | Verification of requirements specification, design specification, and computer-readable storage medium apparatus, and method thereof | Qiang Zhu, Hiroaki Iwashita, Tsuneo Nakata | 2011-12-13 |
| 8015519 | Verification supporting apparatus, verification supporting method, and computer product | Akio Matsuda, Ryosuke Oishi, Tsuneo Nakata, Rafael Kazumiti Morizawa | 2011-09-06 |
| 7984403 | Verification supporting system | Ryosuke Oishi, Akio Matsuda, Tsuneo Nakata | 2011-07-19 |
| 7366951 | Method and apparatus for test program generation based on an instruction set description of a processor | Farzan Fallah | 2008-04-29 |
| 7360186 | Invariant checking | Thomas W. Sidle, Christian Stangier | 2008-04-15 |
| 7281225 | Circuit verification using multiple engines | Jawahar Jain, Debashis Sahoo | 2007-10-09 |
| 7275231 | High level validation of designs and products | Praveen K. Murthy, Sreeranga P. Rajan | 2007-09-25 |
| 7168014 | Propagating an error through a network | Indradeep Ghosh, Liang Zhang | 2007-01-23 |
| 6877141 | Evaluating a validation vector for validating a network design | Indradeep Ghosh, Liang Zhang | 2005-04-05 |
| 6334156 | Node grouping method and data transmitting method in a network | Hidetoshi Matsuoka, Fumiyasu Hirose, Shintaro Shimogori | 2001-12-25 |
| 6301687 | Method for verification of combinational circuits using a filtering oriented approach | Jawahar Jain, Rajarshi Mukherjee | 2001-10-09 |
| 6086626 | Method for verification of combinational circuits using a filtering oriented approach | Jawahar Jain, Rajarshi Mukherjee | 2000-07-11 |
| 5424734 | Variable logic operation apparatus | Kioto Hirahara, Hidetoshi Matsuoka, Shintaro Shimogori, Fumiyasu Hirose | 1995-06-13 |