Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Equivalence checking of synthesized logic designs using generated synthesis history

Equivalence checking of synthesized logic designs using generated synthesis history

US Patent 12475287 · Granted Nov 18, 2025

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Use of repirinast in the prophylaxis or treatment of renal fibrosis or kidney di2025
Optimization of arithmetic expressions2024
Optimization of arithmetic expressions2024
Optimization of arithmetic expressions2024
Optimization of arithmetic expressions2024
Configuration discovery of computer applications2024
Compositions and methods for treating non-alcoholic steatohepatitis2023
Detection of unintended dependencies in hardware designs with pseudo-random numb2023
Building of custom convolution filter for a neural network using an automated ev2022
Hardware verification based on relations between coverage events2021
Scalable connectivity verification using conditional cut-points2021
Grouping and partitioning of properties for logic verification2020