Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Scalable and automated identification of unobservability causality in logic optimization flows

Scalable and automated identification of unobservability causality in logic optimization flows

US Patent 9715564 · Granted Jul 25, 2017

Estimated economic value: $2,827,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Equivalence checking of synthesized logic designs using generated synthesis hist2025
Co-debug of processing conditions of logic devices2025
Detection of unintended dependencies in hardware designs with pseudo-random numb2023
Select decompression headers and symbol start indicators used in writing decompr2023
Automatic hash function selection2022
Minimizing conflicts in multiport banked memory arrays2022
Record-based matching in data compression2021
Instant quiescing of an accelerator2021
Verifying the correctness of a deflate compression accelerator2021
Verifying the correctness of a deflate compression accelerator2021
Scalable connectivity verification using conditional cut-points2021
Scalable connectivity verification using conditional cut-points2021