Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Constrained random simulation coverage closure guided by a cover property

Constrained random simulation coverage closure guided by a cover property

US Patent 8527921 · Granted Sep 3, 2013

Estimated economic value: $3,459,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
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
Assertion extraction from design and its signal traces2017
Vector evaluation of assertions2013
Vector evaluation of assertions2013
Method and apparatus for extracting assume properties from a constrained random 2010
Method and Apparatus for Solving Sequential Constraints2008
Method and apparatus for solving sequential constraints2006
Method and apparatus for observability-based code coverage2006