Issued Patents All Time
Showing 1–22 of 22 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11281431 | Random number generating circuit and semiconductor apparatus | — | 2022-03-22 |
| 11086679 | Determine whether to accelerate a process of a program based on characteristic values associated with strongly connected graphs | — | 2021-08-10 |
| 11068632 | Simulation apparatus, description conversion method and simulation method | — | 2021-07-20 |
| 11062066 | Information processing apparatus, computer-readable recording medium, and information processing method | — | 2021-07-13 |
| 10754658 | Information processing apparatus, information processing method, and computer-readable recording medium | — | 2020-08-25 |
| 10024911 | Debug circuit, semiconductor device, and debug method | — | 2018-07-17 |
| 9857423 | Debugging circuit, debugger device, and debugging method | — | 2018-01-02 |
| 9753084 | Debug circuit, semiconductor device, and debug method | — | 2017-09-05 |
| 9720037 | Debug circuit, semiconductor device, and debug method | Toshiyuki ICHIBA, Yoshinori Tomita | 2017-08-01 |
| 9602095 | Multiplexer circuit, computer-readable recording medium having stored therein program for designing multiplexer circuit, and apparatus for designing multiplexer circuit | — | 2017-03-21 |
| 9339205 | Waveform analyzer and waveform analysis method | Hiroaki Iwashita, Hiroyuki Higuchi | 2016-05-17 |
| 8949019 | Communication device, mobile terminal, medium, information generation method, and system | David Thach, Atsushi Ike, Ryosuke Oishi | 2015-02-03 |
| 8832636 | Verification support computer product, apparatus, and method | Ryosuke Oishi, David Thach | 2014-09-09 |
| 8671372 | Verification support computer product, apparatus, and method | Ryosuke Oishi, David Thach | 2014-03-11 |
| 8621295 | Circuit module, semiconductor integrated circuit, and inspection apparatus and method thereof | — | 2013-12-31 |
| 8448172 | Controlling parallel execution of plural simulation programs | — | 2013-05-21 |
| 8364448 | Model generating method and device and recording medium | — | 2013-01-29 |
| 8171496 | Program evaluation program, program evaluation device, and program evaluation method | — | 2012-05-01 |
| 8095353 | Power index computing apparatus, method of computing power index, and computer product | Tatsuya Yamamoto | 2012-01-10 |
| 8065643 | Verification support apparatus, verification support method, and computer product | — | 2011-11-22 |
| 7536620 | Method of and apparatus for validation support, computer product for validation support | Kenji Abe | 2009-05-19 |
| 5659486 | Network analyzing method | — | 1997-08-19 |