Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Functional property ranking

Functional property ranking

US Patent 9460252 · Granted Oct 4, 2016

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

System, method, and computer program product for automatically inferring case-sp2021
System, method, and computer program product for sequential equivalence checking2021
System, method, and computer program product for generating a formal verificatio2020
Guided exploration of circuit design states2016
Formal verification coverage metrics for circuit design properties2015
Formal verification coverage metrics of covered events for circuit design proper2015
Constraining traces in formal verification2014
Formal verification coverage metrics for circuit design properties2014
Functional property ranking2014
Functional property ranking2014
Generating circuit design properties from signal traces2013
Verification using simultaneous and inductive SAT algorithms2010