Patents by Inventor Cynthia Rae Eisner
Cynthia Rae Eisner has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).
-
Patent number: 8539403Abstract: A method, apparatus and computer program product for modifying a circuit design. The method comprising: obtaining a design of a circuit, the design comprising at least a first memory element and a second memory element. The method further comprising selecting the second memory element to be a dominant memory element over the first memory element. The method further comprising modifying the design of the circuit by replacing usage of an output signal of the first memory element with usage of an output signal of the dominant memory element in one or more cycles in which values of the output signals of the first memory element and the dominant memory element are equal. Whereby a reduction in observabiltiy of the first memory element in the design is achieved.Type: GrantFiled: July 3, 2011Date of Patent: September 17, 2013Assignee: International Business Machines CorporationInventors: Eli Arbel, Cynthia Rae Eisner, Oleg Rokhlenko, Karen Frida Yorav
-
Publication number: 20130007683Abstract: A method, apparatus and computer program product for modifying a circuit design. The method comprising: obtaining a design of a circuit, the design comprising at least a first memory element and a second memory element. The method further comprising selecting the second memory element to be a dominant memory element over the first memory element. The method further comprising modifying the design of the circuit by replacing usage of an output signal of the first memory element with usage of an output signal of the dominant memory element in one or more cycles in which values of the output signals of the first memory element and the dominant memory element are equal. Whereby a reduction in observabiltiy of the first memory element in the design is achieved.Type: ApplicationFiled: July 3, 2011Publication date: January 3, 2013Applicant: International Business Machines CorporationInventors: Eli Arbel, Cynthia Rae Eisner, Oleg Rokhlenko, Karen Frida Yorav
-
Patent number: 8245178Abstract: An apparatus includes a multi-cycle clock gater and a circuit design updater. The multi-cycle clock gater generates multi-cycle gating groups of data latching devices of a circuit design. The circuit design updater updates the circuit design with selected multi-cycle gating groups. Each gating group is associated with a single gating function. For each gating group, data latching devices of 0th level of the gating group are gated with the gating function and ith level data latching devices of the gating function are gated with ith latched versions of the gating function.Type: GrantFiled: July 13, 2009Date of Patent: August 14, 2012Assignee: International Business Machines CorporationInventors: Cynthia Rae Eisner, Monica Claudia Farkash
-
Patent number: 8209667Abstract: A computer-implemented method for verifying a target system includes defining a specification including properties applicable to the target system. Execution sequences of the target system are identified. A set of the execution sequences is grouped into an equivalence class characterized by a common control flow. A symbolic representation of the equivalence class is evaluated so as to verify a compliance of the set of the execution sequences with one or more of the properties.Type: GrantFiled: January 11, 2006Date of Patent: June 26, 2012Assignee: International Business Machines CorporationInventors: Cynthia Rae Eisner, Ziv Glazberg, Sharon Keidar-Barner, Ishai Rabinovitz
-
Patent number: 8086972Abstract: A novel and useful method of functional verification of power gated designs by compositional reasoning. The method of the present invention performs a sequential equivalence check between the power gated design and a version of itself in which power gating is disabled. A compositional approach is first used to look for conditional equivalence of each functional block of the circuit (and its corresponding functional block with power gating disabled) under a suitable set of assumptions, guaranteed by the neighboring functional blocks. Circular reasoning rules are then employed to compose the conditional equivalences proved on the individual functional blocks back into total equivalence on the whole circuit.Type: GrantFiled: July 17, 2008Date of Patent: December 27, 2011Assignee: International Business Machines CorporationInventors: Cynthia Rae Eisner, Karen Frida Yorav
-
Publication number: 20110010679Abstract: An apparatus includes a multi-cycle clock gater and a circuit design updater. The multi-cycle clock gater generates multi-cycle gating groups of data latching devices of a circuit design. The circuit design updater updates the circuit design with selected multi-cycle gating groups. Each gating group is associated with a single gating function. For each gating group, data latching devices of 0th level of the gating group are gated with the gating function and ith level data latching devices of the gating function are gated with ith latched versions of the gating function.Type: ApplicationFiled: July 13, 2009Publication date: January 13, 2011Inventors: Cynthia Rae Eisner, Monica Farkash
-
Patent number: 7853907Abstract: A novel method for optimizing the implementation of clock gating logic in digital circuits utilizing clock gating. The method over-approximates the clock gating function by removing the variable with the least influence on the resulting approximation function. Approximations of clock gating functions expressed in normal form are performed by removing an appropriate component from the function. Approximations of clock gating functions expressed in conjunctive normal form are performed by removing a clause from the function. Approximations of clock gating functions expressed in disjunctive normal form are performed by removing a literal from a clause in the function.Type: GrantFiled: August 9, 2007Date of Patent: December 14, 2010Assignee: International Business Machines CorporationInventors: Israel Berger, Cynthia Rae Eisner, Alexander Itskovich, Dan Ramon
-
Patent number: 7725851Abstract: Device, system and method of efficient automata-based implementation of liveness properties for formal verification. A system according to embodiments of the invention includes a property transformation module to receive an assume verification directive on a liveness property in a property specification language, and to translate the property a fairness statement that uses a deterministic automaton. The deterministic automaton is exponential in the size of the input property. The assume verification directive may be transformed into a strong suffix implication in the property specification language.Type: GrantFiled: August 27, 2007Date of Patent: May 25, 2010Assignee: International Business Machines CorporationInventors: Cynthia Rae Eisner, Sharon Keidar-Barner, Sitvanit Ruah, Ohad Shacham, Tatyana Veksler
-
Patent number: 7676778Abstract: A novel method for optimizing the design of digital circuits containing clock gated memory elements. The method unclock gates memory elements by adding necessary feedback loops. Logic functions of memory element outputs in the circuit are viewed as a whole, rather than as separate functions for each input. Detection of duplicate unclock gated memory elements is then effected by identifying identical canonical representations of said unclock gated memory elements. Identified duplicate clock gated memory elements can then be eliminated from the original digital circuit. Further optimization can be accomplished by applying standard logic optimization algorithms to all unclock gated memory elements in said digital circuit. The resulting optimized circuit is clock gated and replaces the original clock gated circuit in said digital circuit.Type: GrantFiled: July 4, 2007Date of Patent: March 9, 2010Assignee: International Business Machines CorporationInventors: Eli Arbel, Cynthia Rae Eisner, Alexander Itskovich, Nicolas Maeding
-
Publication number: 20100017764Abstract: A novel and useful method of functional verification of power gated designs by compositional reasoning. The method of the present invention performs a sequential equivalence check between the power gated design and a version of itself in which power gating is disabled. A compositional approach is first used to look for conditional equivalence of each functional block of the circuit (and its corresponding functional block with power gating disabled) under a suitable set of assumptions, guaranteed by the neighboring functional blocks. Circular reasoning rules are then employed to compose the conditional equivalences proved on the individual functional blocks back into total equivalence on the whole circuit.Type: ApplicationFiled: July 17, 2008Publication date: January 21, 2010Inventors: Cynthia Rae Eisner, Karen Frida Yorav
-
Patent number: 7594200Abstract: An apparatus includes a multi-cycle clock gater and a circuit design updater. The multi-cycle clock gater generates multi-cycle gating groups of data latching devices of a circuit design. The circuit design updater updates the circuit design with selected multi-cycle gating groups. Each gating group is associated with a single gating function. For each gating group, data latching devices of 0th level of the gating group are gated with the gating function and ith level data latching devices of the gating function are gated with ith latched versions of the gating function.Type: GrantFiled: December 19, 2005Date of Patent: September 22, 2009Assignee: International Business Machines CorporationInventors: Cynthia Rae Eisner, Monica Farkash
-
Patent number: 7562325Abstract: A system for clustering Boolean functions for clock gating according to various exemplary embodiments can include a computer configured to identify at least two small gating groups within a clock tree representative of an electrical network and at least two gating functions of the at least two small gating groups, wherein the at least two gating functions are Boolean functions; perform hierarchical clustering on the at least two gating functions using a similarity measure that describes a distance between the at least two gating functions such that the clustering forms a merge function of a cluster generated and displayed in a form of a dendrogram; assign to each gating domain a merit value according to a power consumption profile of the gating domain using a merit function; and partition the cluster into gating groups using the dendrogram to construct a directed acyclic graph to determine a partition which maximize the overall power saving.Type: GrantFiled: September 24, 2008Date of Patent: July 14, 2009Assignee: International Business Machines CorporationInventors: Eli Arbel, Oded Fuhrmann, Cynthia Rae Eisner, Alexander Itskovich, David J. Levitt
-
Publication number: 20090064064Abstract: Device, system and method of efficient automata-based implementation of liveness properties for formal verification. A system according to embodiments of the invention includes a property transformation module to receive an assume verification directive on a liveness property in a property specification language, and to translate the property a fairness statement that uses a deterministic automaton. The deterministic automaton is exponential in the size of the input property. The assume verification directive may be transformed into a strong suffix implication in the property specification language.Type: ApplicationFiled: August 27, 2007Publication date: March 5, 2009Inventors: Cynthia Rae Eisner, Sharon Keidar-Barner, Sitvanit Ruah, Ohad Shacham, Tatyana Veksler
-
Publication number: 20090044154Abstract: A novel method for optimizing the implementation of clock gating logic in digital circuits utilizing clock gating. The method over-approximates the clock gating function by removing the variable with the least influence on the resulting approximation function. Approximations of clock gating functions expressed in normal form are performed by removing an appropriate component from the function. Approximations of clock gating functions expressed in conjunctive normal form are performed by removing a clause from the function. Approximations of clock gating functions expressed in disjunctive normal form are performed by removing a literal from a clause in the function.Type: ApplicationFiled: August 9, 2007Publication date: February 12, 2009Inventors: Israel Berger, Cynthia Rae Eisner, Alexander Itskovich, Dan Ramon
-
Patent number: 7484187Abstract: Given a function F of a circuit having a data latching device and a feedback loop feeding an output Q of the device into logic which feeds the device, a method includes extracting at least one data independent case and clock-gating the device with the at least one data independent case. The method also includes eliminating the feedback loop if function F depends only on Q with a positive polarity or leaving the feedback loop if function F depends on Q in both positive and negative polarities.Type: GrantFiled: December 7, 2005Date of Patent: January 27, 2009Assignee: International Business Machines CorporationInventors: Cynthia Rae Eisner, Peter Hofstee, Alexander Itskovich, Daniel Lawrence Stasiak
-
Publication number: 20090013289Abstract: A novel method for optimizing the design of digital circuits containing clock gated memory elements. The method unclock gates memory elements by adding necessary feedback loops. Logic functions of memory element outputs in the circuit are viewed as a whole, rather than as separate functions for each input. Detection of duplicate unclock gated memory elements is then effected by identifying identical danonical representations of said unclock gated memory elements. Identified duplicate clock gated memory elements can then be eliminated from the original digital circuit. Further optimization can be accomplished by applying standard logic optimization algorithms to all unclock gated memory elements in said digital circuit. The resulting optimized circuit is clock gated and replaces the original clock gated circuit in said digital circuit.Type: ApplicationFiled: July 4, 2007Publication date: January 8, 2009Inventors: Eli Arbel, Cynthia Rae Eisner, Alexander Itskovich, Nicolas Maeding
-
Publication number: 20080301604Abstract: A novel apparatus for and method of estimating the quality of candidate clock gating solutions. The quality estimation mechanism of the present invention filters candidate clock gating solutions by estimating a measure of the quality of each candidate solution. The effect of the proposed solution on both timing and leakage power is considered by determining the intersection coefficient for each candidate clock gating solution. The intersection coefficient (IC) is the number of signals shared by both the data logic portion and clock enable logic portions of a proposed clock gating solution. Only those proposed solutions whose IC value is less than or equal to a threshold are considered as possible clock gating solutions. The IC value functions as a reliable predictor of whether a candidate clock gating solution is a good solution without requiring complex heavy analyses that would normally be applied to the final circuit design.Type: ApplicationFiled: May 30, 2007Publication date: December 4, 2008Inventors: Alexander Itskovich, Cynthia Rae Eisner
-
Patent number: 7458050Abstract: A method to cluster Boolean functions for clock gating according to various exemplary embodiments can include identifying at least two small gating groups within a clock tree representative of an electrical network and at least two gating functions of the at least two small gating groups, wherein the at least two gating functions are Boolean functions; performing hierarchical clustering on the at least two gating functions using a similarity measure that describes a distance between the at least two gating functions such that the clustering forms a merge function of a cluster generated and displayed in a form of a dendrogram; assigning to each gating domain a merit value according to a power consumption profile of the gating domain using a merit function; and partitioning the cluster into gating groups using the dendrogram to construct a directed acyclic graph to determine a partition which maximize the overall power saving.Type: GrantFiled: March 21, 2008Date of Patent: November 25, 2008Assignee: International Business Machines CorporationInventors: Eli Arbel, Oded Fuhrmann, Cynthia Rae Eisner, Alexander Itskovich, David J. Levitt