Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Assertion extraction from design and its signal traces

Assertion extraction from design and its signal traces

US Patent 9626468 · Granted Apr 18, 2017

Estimated economic value: $18,897,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Power aware real number modeling in dynamic verification of mixed-signal integra2023
On-the-fly computation of analog mixed-signal (AMS) measurements2023
Analog mixed-signal assertion-based checker system2022
Unified functional coverage and synthesis flow for formal verification and emula2021
Automatic definition and extraction of functional coverage metric for emulation-2020
Automatic definition and extraction of functional coverage metric for emulation-2020
Automatic definition and extraction of functional coverage metric for emulation-2020
Efficient execution of alternating automaton representing a safety assertion for2020
Constrained random simulation coverage closure guided by a cover property2013
Vector evaluation of assertions2013
Enhancing speed of simulation of an IC design while testing scan circuitry2011
Method and apparatus for extracting assume properties from a constrained random 2010