Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Automatic abstraction of software source

Automatic abstraction of software source

US Patent 7146605 · Granted Dec 5, 2006

Estimated economic value: $6,328,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

View-dependent carving of reconstructed data from segmentation masks2022
Neural network based patch blending for immersive video2020
Detecting corresponding paths in combinationally equivalent circuit designs2015
Clock gating using abstraction refinement2012
Simulation monitors based on temporal formulas2007
Method and system for reducing the computation tree to include only model behavi2004
Target design model behavior explorer2004
Method and system for reducing state space variables prior to symbolic model che2001
Method and system for reducing state space variables prior to symbolic model che2001