Patents by Inventor Joao M. Geada

Joao M. Geada 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: 9245071
    Abstract: A method for timing analysis of a circuit design includes, for each group of one or more instances of a cell of a cell library in the circuit design, determining timing related data for the group according to circuit context of the group in the design. The context includes at least one of a path depth, an output load, and an input slew rate. The determined timing related data are applied to analyze the circuit design.
    Type: Grant
    Filed: February 28, 2012
    Date of Patent: January 26, 2016
    Assignee: CLK DESIGN AUTOMATION, INC.
    Inventors: Isadore T. Katz, Joao M. Geada, Leon LaFrance, Ferenc Varadi, Ahran Dunsmoor, James Kuzeja, Shiva Raja
  • Publication number: 20130227510
    Abstract: A method for timing analysis of a circuit design includes, for each group of one or more instances of a cell of a cell library in the circuit design, determining timing related data for the group according to circuit context of the group in the design. The context includes at least one of a path depth, an output load, and an input slew rate. The determined timing related data are applied to analyze the circuit design.
    Type: Application
    Filed: February 28, 2012
    Publication date: August 29, 2013
    Applicant: CIk Design Automation, Inc.
    Inventors: Isadore T. Katz, Joao M. Geada, Leon LaFrance, Ferenc Varadi, Ahran Dunsmoor, James Kuzeja, Shiva Raja
  • Patent number: 7793243
    Abstract: A system for circuit timing analysis includes a database for holding results of execution of portions of a timing analysis computation. Multiple computation modules are configured for concurrent execution of the portions of a timing analysis computation, for example, a static circuit timing analysis computation. A control subsystem is coupled to the database and to the computation modules, and is configured to receive results of the portions of the computation from the computation modules and to update the database using the received results. Based on the received results, the control module selects further portions of the computations for computation and assign each selected portion to one of the computation modules. The system makes use of parallel processing that is arranged in a way that avoids bottlenecks, such as at least some memory access bottlenecks resulting from data structure locking.
    Type: Grant
    Filed: December 4, 2006
    Date of Patent: September 7, 2010
    Assignee: CLK Design Automation, Inc.
    Inventors: Murat R. Becer, Joao M. Geada, Lee La France, Nicholas Rethman, Qian Shen
  • Patent number: 7594210
    Abstract: A method includes grouping cells with similar topological characteristics into a family of cells, the topological characteristics being defined in part by topological layouts of transistors in the respective cells in the family of cells; and computing data characterizing a relationship between a variability of delay and a magnitude of delay shared among the cells in the family of cells.
    Type: Grant
    Filed: November 16, 2006
    Date of Patent: September 22, 2009
    Assignee: CLK Design Automation, Inc.
    Inventors: Murat R. Becer, Joao M. Geada, Isadore T. Katz, Lee La France