Patents by Inventor Anish Patel

Anish Patel 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).

  • Design verification of highly optimized synchronous pipelines via random simulation driven by critical resource scheduling
    Publication number: 20050251765
    Abstract: Testing a model of a logic circuit model. The testing includes generating valid random input stimulus sequences for a logic circuit model. Enumerating critical resource requirements, enumerating critical resource availabilities does this, and selecting of stimulus sequences and determining legal times for execution of said stimulus sequences based on resource availability. This includes generating a plurality of possible combinations of input stimulus sequences and generating an array representation of critical resource requirements. These are used to generate an array representation of critical resources availabilities.
    Type: Application
    Filed: May 10, 2004
    Publication date: November 10, 2005
    Applicant: International Business Machines Corporation
    Inventors: Faisal Ahmad, Kevin Gower, Anish Patel