Patents by Inventor John Harold Downey

John Harold Downey 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: 6427223
    Abstract: The present invention adds capabilities to a Hardware Verification Language (HVL) which facilitate the monitoring of a device under test (DUT). The HVL language supports Object-Oriented Programming (or OOP). Within this OOP framework, the present invention provides a monitoring facility comprised of three main stages: i) Coverage Definitions, ii) Coverage Instantiation and Triggering and iii) Coverage Feedback. A coverage definition is very similar to an OOP class definition, but does not contain methods or variables. Instead, the basic purpose of a coverage definition is to declare “monitor bins” in terms of a state variable. Essentially, each monitor bin declaration has a unique bin name which is associated with a particular behavior of the state variable and the unique bin name is used to record the state variable's behavior. Instantiation of a coverage definition produces a coverage instance.
    Type: Grant
    Filed: April 30, 1999
    Date of Patent: July 30, 2002
    Assignee: Synopsys, Inc.
    Inventors: Won Sub Kim, John Harold Downey, Daniel Marcos Chapiro
  • Publication number: 20020038447
    Abstract: The present invention adds capabilities to a Hardware Verification Language (HVL) which facilitate the monitoring of a device under test (DUT). The HVL language supports Object-Oriented Programming (or OOP). Within this OOP framework, the present invention provides a monitoring facility comprised of three main stages: i) Coverage Definitions, ii) Coverage Instantiation and Triggering and iii) Coverage Feedback.
    Type: Application
    Filed: April 30, 1999
    Publication date: March 28, 2002
    Inventors: WON SUB KIM, JOHN HAROLD DOWNEY, DANIEL MARCOS CHAPIRO