Issued Patents All Time
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8266564 | Verification apparatus, verification method, and computer-readable recording medium for supporting engineering change order | — | 2012-09-11 |
| 8191031 | Apparatus for giving assistance in analyzing deficiency in RTL-input program and method of doing the same | — | 2012-05-29 |
| 7971163 | Property generating apparatus, property generating method and program | — | 2011-06-28 |
| 7954074 | Logic design support system having RTL analysis means | — | 2011-05-31 |
| 7543257 | Apparatus for giving assistance in analyzing deficiency in RTL-input program and method of doing the same | — | 2009-06-02 |
| 7302633 | LSI design system, logic correction support equipment, logic correction support method used therefor, and program therefor | — | 2007-11-27 |