Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and Apparatus for Solving Sequential Constraints

Method and Apparatus for Solving Sequential Constraints

US Patent 7454727 · Granted Nov 18, 2008

Estimated economic value: $3,128,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

On-the-fly computation of analog mixed-signal (AMS) measurements2023
Analog mixed-signal assertion-based checker system2022
Predictor-guided cell spreader to improve routability for designs at advanced pr2021
Unified functional coverage and synthesis flow for formal verification and emula2021
Automatic definition and extraction of functional coverage metric for emulation-2020
Efficient execution of alternating automaton representing a safety assertion for2020
Formal verification using cached search path information to verify previously pr2019
Assertion extraction from design and its signal traces2017
System on chip I/O connectivity verification in presence of low power design con2016
Priori corner and mode reduction2015
Ranking verification results for root cause analysis2015
Automatic approximation of assumptions for formal property verification2014