Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Model checking in state transition machine verification

Model checking in state transition machine verification

US Patent 8397189 · Granted Mar 12, 2013

Estimated economic value: $9,153,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Hierarchical parallelism in a network of distributed neural network cores2025
Compressed weight distribution in networks of neural processors2025
Multi-agent instruction execution engine for neural inference processing2025
Conflict-free, stall-free, broadcast network on chip2025
Efficient method for VLSI implementation of useful neural network activation fun2025
Scheduler for mapping neural networks onto an array of neural cores in an infere2025
Logical clock connection in an integrated circuit design2025
Data representation for dynamic precision in neural network cores2024
Networks for distributing parameters and data to neural network compute cores2024
Defect resistant designs for location-sensitive neural network processor arrays2024
Runtime reconfigurable neural network processor core2024
Signal pre-routing in an integrated circuit design2024