Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Distributed BDD reordering

Distributed BDD reordering

US Patent 7131085 · Granted Oct 31, 2006

Estimated economic value: $4,068,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Inferring cloud network connectivity as a minimal list of firewall rules2025
Enforceable contract generation2022
Run-time security protection system and method2021
Hardware verification based on relations between coverage events2021
Modified design debugging using differential trace back2020
Verifying sequential equivalence for randomly initialized designs2020
Autonomous hardware for application power usage optimization2019
Method and apparatus for testing2016
Incremental formal verification2015
Model checking of liveness property in a phase abstracted model2014
Detection of design redundancy2013
Formal verification of models using concurrent model-reduction and model-checkin2013