Patents by Inventor Simon Kinahan

Simon Kinahan 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: 7630851
    Abstract: A method for estimating the average-case activity in a digital circuit includes the steps of identifying one or more predesignated types of circuit elements in the digital circuit, and propagating activity values through any identified circuit elements using a predetermined formula.
    Type: Grant
    Filed: June 10, 2005
    Date of Patent: December 8, 2009
    Assignee: Azuro (UK) Limited
    Inventors: Stephen Paul Wilcox, Simon Kinahan, Ronald Ian Shipman
  • Patent number: 7539958
    Abstract: The present invention provides a method for estimating the average-case activity in a digital circuit. The method includes the steps of assigning initial activity values to outputs of flops in the digital circuit, and repeatedly updating the activity values in an iterative procedure until a predetermined termination criterion is met. The updating of the activity values uses a combination of standard probability updating techniques and predetermined formulae for obtaining the activity values of predesignated types of circuit elements in the digital circuit. The predesignated types of circuit elements include, for example, one or more of a clock-gated flop, an enable flop and a flop with a recirculation multiplexer.
    Type: Grant
    Filed: June 10, 2005
    Date of Patent: May 26, 2009
    Assignee: Azuro (UK) Limited
    Inventors: Stephen Paul Wilcox, Simon Kinahan, Ronald Ian Shipman
  • Patent number: 7222039
    Abstract: A method for estimating the average-case activity in a digital circuit includes the steps of identifying a state machine in the digital circuit, and propagating activity values through the state machine to obtain activity information at an output of a flop in the state machine using a predetermined formula.
    Type: Grant
    Filed: June 10, 2005
    Date of Patent: May 22, 2007
    Assignee: Azuro (UK) Limited
    Inventors: Stephen Paul Wilcox, Simon Kinahan, Ronald Ian Shipman
  • Publication number: 20070083350
    Abstract: A method for estimating the average-case activity in a digital circuit having a clock tree, includes the steps of obtaining seed activity values at various nodes in the digital circuit using a probability-based algorithm, creating waveform traces at various nodes in the digital circuit using the seed activity values, and propagating the waveform traces through the digital circuit to find improved activity values at various nodes in the digital circuit using a simulation-based algorithm.
    Type: Application
    Filed: June 10, 2005
    Publication date: April 12, 2007
    Applicant: Azuro (UK) Limited
    Inventors: Stephen Wilcox, Simon Kinahan, Ronald Shipman
  • Publication number: 20060291126
    Abstract: A method for estimating the average-case activity in a digital circuit includes the steps of identifying one or more predesignated types of circuit elements in the digital circuit, and propagating activity values through any identified circuit elements using a predetermined formula.
    Type: Application
    Filed: June 10, 2005
    Publication date: December 28, 2006
    Applicant: Azuro (UK) Limited
    Inventors: Stephen Wilcox, Simon Kinahan, Ronald Shipman
  • Publication number: 20060290378
    Abstract: A method for estimating the average-case activity in a digital circuit includes the steps of identifying a state machine in the digital circuit, and propagating activity values through the state machine to obtain activity information at an output of a flop in the state machine using a predetermined formula.
    Type: Application
    Filed: June 10, 2005
    Publication date: December 28, 2006
    Applicant: Azuro (UK) Limited
    Inventors: Stephen Wilcox, Simon Kinahan, Ronald Shipman
  • Publication number: 20060282803
    Abstract: A method for estimating the average-case activity in a digital circuit includes the steps of assigning initial activity values to outputs of flops in the digital circuit, and repeatedly updating the activity values in an iterative procedure until a predetermined termination criterion is met, wherein the updating of the activity values uses a combination of standard probability updating techniques and predetermined formulae for obtaining the activity values of predesignated types of circuit elements in the digital circuit.
    Type: Application
    Filed: June 10, 2005
    Publication date: December 14, 2006
    Applicant: Azuro (UK) Limited
    Inventors: Stephen Wilcox, Simon Kinahan, Ronald Shipman