Patent · US Active

Detection of design redundancy

US8554522B2 · kind B2 · utility

0Cited by

9References

14Claims

0Family size

Assignee

International Business Machines Corporation · US

Inventors

Shaked Flur · Haifa, IL
Ziv Nevo · Haifa, IL

Key dates

Filing date	Dec 16, 2009
Grant date	Oct 8, 2013
Priority date	—
Expiry date	Aug 7, 2032

Classification

Technology area (CPC G)Physics
CPC primaryG06F11/3608
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

Augmented-domain simulation, such as ternary-based simulation may be utilized to approximate a reachability analysis of a model being model checked. The approximated reachability analysis may be utilized to detect design redundancies and modify the model to remove such redundancies. Design redundancies may include unobservable variables, mergeable variables and utilization of surplus domains.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.