Patents by Inventor Anant-Kumar Jain

Anant-Kumar Jain 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).

  • Equivalence checking for retimed electronic circuit designs
    Patent number: 8539406
    Abstract: Techniques and technology for formally verifying a first electronic design with a second electronic design that has been synthesized from the first electronic design, wherein the synthesis process included structural transformation operations, is provide herein. In various implementations, a first design and a second design are received. The second design having been synthesized from the first design, where no structural transformation operations were performed during synthesis of the second design. Additionally, a third design and a structural transformation guidance file are received. The third design having also been synthesized from the first design, but, where structural transformation operations were performed during synthesis of the third design. The structural transformation guidance file specifies what transformations where made during synthesis.
    Type: Grant
    Filed: January 31, 2011
    Date of Patent: September 17, 2013
    Inventors: Michael Mahar, Pradish Mathews, James Henson, Anant-Kumar Jain
  • Equivalence Checking for Retimed Electronic Circuit Designs
    Publication number: 20120198398
    Abstract: Techniques and technology for formally verifying a first electronic design with a second electronic design that has been synthesized from the first electronic design, wherein the synthesis process included structural transformation operations, is provide herein. In various implementations, a first design and a second design are received. The second design having been synthesized from the first design, where no structural transformation operations were performed during synthesis of the second design. Additionally, a third design and a structural transformation guidance file are received. The third design having also been synthesized from the first design, but, where structural transformation operations were performed during synthesis of the third design. The structural transformation guidance file specifies what transformations where made during synthesis.
    Type: Application
    Filed: January 31, 2011
    Publication date: August 2, 2012
    Inventors: Michael Mahar, Pradish Mathews, James Henson, Anant-Kumar Jain