Kabir Gulrajani

Learn More
This paper presents a method for redundancy identification (RID) using multi-node logic implications. The algorithm discovers a large number of direct and indirect implications by extending single node implications [7] to multiple nodes. The large number of implications found by multi-node implication method introduces a new redundancy identification(More)
In this thesis a method for using static logic implications for redunancy identiication and state reachability analysis is presented. It introduces a new time eecient way in which static learning information can be applied. The static learning procedure is extended to multiple nodes for obtaining more information, based on which more redundancies can be(More)
  • 1