Patents by Inventor Basant Vinaik

Basant Vinaik 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).

  • Processor design verification
    Patent number: 9195531
    Abstract: A system and method for verifying that a processor design having caches conforms to a specific memory model. The caches might not be maintained coherent in real time. Specifically, the system and method make use of a checker that conforms to the memory model, a time-stamping scheme, and a store buffering scheme to identify a bug(s) in the processor design that violates the memory model and/or loads an incorrect value in response to a load instruction.
    Type: Grant
    Filed: July 31, 2013
    Date of Patent: November 24, 2015
    Assignee: Oracle International Corporation
    Inventors: Paul N. Loewenstein, Basant Vinaik
  • PROCESSOR DESIGN VERIFICATION
    Publication number: 20150039940
    Abstract: A system and method for verifying that a processor design having caches conforms to a specific memory model. The caches might not be maintained coherent in real time. Specifically, the system and method make use of a checker that conforms to the memory model, a time-stamping scheme, and a store buffering scheme to identify a bug(s) in the processor design that violates the memory model and/or loads an incorrect value in response to a load instruction.
    Type: Application
    Filed: July 31, 2013
    Publication date: February 5, 2015
    Applicant: Oracle International Corporation
    Inventors: Paul N. Loewenstein, Basant Vinaik