Patents by Inventor Joel J. Grodstein

Joel J. Grodstein 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).

  • Timing verification using synchronizers and timing constraints
    Patent number: 5657239
    Abstract: A computer-based method and program for improving a design of a circuit through analysis of a computer stored model of the circuit. Individual synchronization points are identified in the circuit at each of which a signal may be blocked or allowed to pass in response to appearance of a second signal at the synchronization point. The timing of the circuit is verified based on the individual synchronization points.
    Type: Grant
    Filed: October 30, 1992
    Date of Patent: August 12, 1997
    Assignee: Digital Equipment Corporation
    Inventors: Joel J. Grodstein, Nicholas L. Rethman, Jeng-Wei Pan
  • Static timing verification in the presence of logically false paths
    Patent number: 5648909
    Abstract: In a method for improving a circuit having a logically false path through static analysis of a software model, a computer receives information describing the false path, determines a true path alternate to the false path, and analyses the circuit model with respect to the true path.
    Type: Grant
    Filed: June 12, 1995
    Date of Patent: July 15, 1997
    Assignee: Digital Equipment Corporation
    Inventors: Larry L. Biro, Joel J. Grodstein, Jeng-Wei Pan, Nicholas L. Rethman
  • Static timing verification
    Patent number: 5355321
    Abstract: A method for static analysis of a software model of a circuit clocked by two clocks where the two clocks' periods are multiples of a greatest common divisor period. In the invention, a composite clock is determined with a period equal to the least common multiple of the periods of the two clocks, and the model is statically analyzed relative to the composite clock.
    Type: Grant
    Filed: June 12, 1992
    Date of Patent: October 11, 1994
    Assignee: Digital Equipment Corporation
    Inventors: Joel J. Grodstein, Anil K. Jain, William Grundmann