Patents by Inventor Arun Chandrasekharan

Arun Chandrasekharan 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).

  • Method of checking equivalence between a first design comprising a shift register logic SRL chain and a second design
    Patent number: 11157671
    Abstract: A method of checking equivalence between a first design comprising a shift register logic SRL chain and a second design comprising a memory block. The method comprises identifying an inductive invariant to replace the SRL chain or the memory block, and replacing the SRL chain and the memory block by a set of constraints, wherein the set of constraints state that the SRL chain and the memory block are equivalent for the checking of equivalence between the first design and the second design.
    Type: Grant
    Filed: July 3, 2020
    Date of Patent: October 26, 2021
    Assignee: OneSpin Solutions GmbH
    Inventors: Peter Warkentin, Arun Chandrasekharan, Tobias Welp
  • METHOD OF CHECKING EQUIVALENCE BETWEEN A FIRST DESIGN COMPRISING A SHIFT REGISTER LOGIC SRL CHAIN AND A SECOND DESIGN
    Publication number: 20210004513
    Abstract: A method of checking equivalence between a first design comprising a shift register logic SRL chain and a second design comprising a memory block.
    Type: Application
    Filed: July 3, 2020
    Publication date: January 7, 2021
    Inventors: Peter Warkentin, Arun Chandrasekharan, Tobias Welp