Issued Patents All Time
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7337414 | Logical equivalence verifying device, method, and computer-readable medium thereof | Terunobu Maruyama, Takeo Nakamura, Mitsuru Satou, Yuki Kumon, Miki Takagi | 2008-02-26 |
| 7143375 | Logical equivalence verifying device, method and computer readable medium thereof | Terunobu Maruyama, Takeo Nakamura, Mitsuru Satou, Yuki Kumon, Miki Takagi | 2006-11-28 |
| 7086016 | Method and apparatus for verifying logical equivalency between logic circuits | Kazuhiro Matsuzaki, Miki Takagi, Hiroshi Noguchi | 2006-08-01 |
| 6678871 | Circuit designing apparatus, circuit designing method and timing distribution apparatus | Koichi Itaya, Miki Takagi, Takehiro Yamazaki | 2004-01-13 |
| 6618834 | Circuit designing apparatus, circuit designing method and timing distribution apparatus | Koichi Itaya, Miki Takagi, Takehiro Yamazaki | 2003-09-09 |
| 6473874 | Method and system for managing timing error information | — | 2002-10-29 |