Patents by Inventor Christopher Richard Morrison

Christopher Richard Morrison 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).

  • Automatic formulation of design verification checks based upon a language representation of a hardware design to verify the intended behavior of the hardware design
    Patent number: 6539523
    Abstract: A method and apparatus are provided that facilitate analysis of the intended flow of logical signals between key points in a design. According to one aspect of the present invention, a comprehensive set of design verification checks may be formulated by applying predetermined properties to an annotated hardware design representation. Information regarding the intended flow of logical signals in the hardware design is received by way of annotations in a control file or annotations embedded in the hardware design representation itself. The annotations include (1) an indication of one or more variables in the representation of the hardware design through which the logical signals pass, and (2) an indication of one or more conditions under which each of the one or more variables are to be associated with each of a set of states. Checks are then automatically formulated based upon a predetermined set of properties that must hold true in order for the hardware design to operate in accordance with the intended flow.
    Type: Grant
    Filed: May 8, 2000
    Date of Patent: March 25, 2003
    Assignee: Real Intent, Inc.
    Inventors: Prakash Narain, Jay Andrew Littlefield, Christopher Richard Morrison, Rajeev Kumar Ranjan