Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Symbolic simulation using input space decomposition via Boolean functional representation in parametric form

Symbolic simulation using input space decomposition via Boolean functional representation in parametric form

US Patent 6539345 · Granted Mar 25, 2003

Estimated economic value: $42,293,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Methods and compositions for self-regulated release of active pharmaceutical ing2023
Methods and compositions for self-regulated release of active pharmaceutical ing2021
Methods for delivering a drug to a hospital patient for short-term use while min2014
Methods for delivering a drug to a hospital patient for short-term use while min2012
System for encouraging good personal hygiene in toilet facilities2008
Automatic symbolic indexing methods for formal verification on a symbolic lattic2007
Interconnect model compiler2004
Sink2004
Method and device for verification of VLSI designs2003
Method and system for formal verification of a circuit model using binary decisi2003
Sound-actuated system for encouraging good personal hygiene in toilet facilities2002
Center webbed baseball mitt1999