Patents by Inventor Robert John Porter

Robert John Porter 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).

  • System and method for evaluating functional coverage linked to a verification test plan
    Patent number: 6742166
    Abstract: A system and method for automatic verification of a test plan for a semiconductor device. The device is specified by a hardware description language (HDL) model or a formal description language model derived from the HDL model. A test plan tool and database are provided to capture test item definitions and identifications and a monitor generator is provided to generate monitors for detecting functional coverage during verification. An evaluator is provided to compare verification-events with test-plan items, to determine test item completeness and to update the test plan database.
    Type: Grant
    Filed: July 20, 2001
    Date of Patent: May 25, 2004
    Assignee: Hewlett-Packard Development Company, L.P.
    Inventors: Harry D. Foster, Robert John Porter, Nathan Dirk Zelle
  • System and method for evaluating functional coverage linked to a verification test plan
    Publication number: 20030018945
    Abstract: A system and method for automatic verification of a test plan for a semiconductor device. The device is specified by a hardware description language (HDL) model or a formal description language model derived from the HDL model. A test plan tool and database are provided to capture test item definitions and identifications and a monitor generator is provided to generate monitors for detecting functional coverage during verification. An evaluator is provided to compare verification-events with test-plan items, to determine test item completeness and to update the test plan database.
    Type: Application
    Filed: July 20, 2001
    Publication date: January 23, 2003
    Inventors: Harry D. Foster, Robert John Porter, Nathan Dirk Zelle