Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method for decomposing a hardware model and for accelerating formal verification of the hardware model

Method for decomposing a hardware model and for accelerating formal verification of the hardware model

US Patent 9483593 · Granted Nov 1, 2016

Estimated economic value: $14,338,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Multifunction meter for use in an aircraft1989