Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Diversifying stimulus generation in constrained random simulation by learning distribution history

Diversifying stimulus generation in constrained random simulation by learning distribution history

US Patent 11755799 · Granted Sep 12, 2023

Estimated economic value: $202,986,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

System and method for netlist clock domain crossing verification2017
Scenario driven concurrency bugs: model and check2014
System and method for model checking by interleaving stateless and state-based m2013
Integrating interval constraint propagation with nonlinear real arithmetic2013
Efficient decision method for real non-linear arithmetic constraints2013
Systems and methods for model checking the precision of programs employing float2013
DPLL-based SAT solver using with application-aware branching2013
Parallelizing bounded model checking using tunnels over a distributed framework2013
Methods and systems for reducing verification conditions for concurrent programs2013
Software verification using range analysis2012
Efficient decision procedure for bounded integer non-linear operations using SMT2012
Modeling and verification of concurrent systems using SMT-based BMC2011