Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method of and apparatus for, and program for verifying equivalence between behavioral description and register transfer level description

Method of and apparatus for, and program for verifying equivalence between behavioral description and register transfer level description

US Patent 7124070 · Granted Oct 17, 2006

Estimated economic value: $14,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Network system and management method and apparatus thereof2021
High-level synthesis device, high-level synthesis method, and program recording 2020
Image processing device and image processing method2018
Computation device and computation execution method2015
Behavioral synthesis apparatus, method, and program having test bench generation2013
Behavioral synthesis apparatus, method, and program having test bench generation2012
Logic verification and logic cone extraction technique2009
Load/unload mechanism for magnetic disk drive2008
Magnetic disk drive operating under a low-pressure environment and controlling t2006
Magnetic disk storage device control method, disk array system control method an2002
Magnetic disk storage device control method, disk array system control method an2000
Facsimile machine capable of printing plurality of original images in main scann1995