Patents by Inventor Tobias Welp

Tobias Welp 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
  • Static analysis of computer code to determine impact of change to a code component upon a dependent code component
    Patent number: 9836390
    Abstract: A method is provided to evaluate impact of a change to code of a depended upon component of a system stored in a computer readable storage device, upon a dependent component of the system, the method comprising: identifying a dependency relationship between a first component stored in a computer readable storage device and a second component stored in the computer readable storage device; in response to a determination that the second component depends upon the first component, configuring a computer system to obtain a first property evaluation corresponding to the first component; and in response to obtaining the first property evaluation corresponding to the first component, configuring the computer system to associate the first property evaluation with the second component, and obtain a second property evaluation corresponding to the second component, wherein the second component is associated with the first property evaluation.
    Type: Grant
    Filed: May 11, 2015
    Date of Patent: December 5, 2017
    Assignee: Synopsys, Inc.
    Inventors: Marat Boshernitsan, Andreas Kuehlmann, Scott McPeak, Philip Chong, Tobias Welp
  • STATIC ANALYSIS OF COMPUTER CODE TO DETERMINE IMPACT OF CHANGE TO A CODE COMPONENT UPON A DEPENDENT CODE COMPONENT
    Publication number: 20150317236
    Abstract: A method is provided method to evaluate impact of a change in code of a depended upon component of a system stored in a non-transitory computer readable storage device, upon a dependent component of the system, the method comprising: identifying a dependency relationship between a first component stored in a storage device and a second component stored in the storage device; in response to a determination that the second component depends upon the first component, configuring a computer system to obtain a first property evaluation corresponding to the first component; and in response to obtaining the first property evaluation corresponding to the first component, configuring the computer system to associate the first property evaluation with the second component, and determine a second property evaluation corresponding to the second component, is the second component being associated with the first property evaluation.
    Type: Application
    Filed: May 11, 2015
    Publication date: November 5, 2015
    Inventors: Marat Boshernitsan, Andreas Kuehlmann, Scott McPeak, Philip Chong, Tobias Welp
  • Static analysis of computer code to determine impact of change to a code component upon a dependent code component
    Patent number: 9032376
    Abstract: A method is provided to evaluate impact of a change in code of a depended upon component of a system stored in a computer readable storage device, upon a dependent component of the system, the method comprising: identifying a dependency relationship between a first component stored in a computer readable storage device and a second component stored in the computer readable storage device; in response to a determination that the second component depends upon the first component, configuring a computer system to obtain a first property evaluation corresponding to the first component; and in response to obtaining the first property evaluation corresponding to the first component, configuring the computer system to associate the first property evaluation with the second component, and obtain a second property evaluation corresponding to the second component, wherein the second component is associated with the first property evaluation.
    Type: Grant
    Filed: September 26, 2013
    Date of Patent: May 12, 2015
    Assignee: Synopsys, Inc.
    Inventors: Marat Boshernitsan, Andreas Kuehlmann, Scott McPeak, Philip Chong, Tobias Welp
  • STATIC ANALYSIS OF COMPUTER CODE TO DETERMINE IMPACT OF CHANGE TO A CODE COMPONENT UPON A DEPENDENT CODE COMPONENT
    Publication number: 20140130020
    Abstract: A method is provided method to evaluate impact of a change in code of a depended upon component of a system stored in a non-transitory computer readable storage device, upon a dependent component of the system, the method comprising: identifying a dependency relationship between a first component stored in a storage device and a second component stored in the storage device; in response to a determination that the second component depends upon the first component, configuring a computer system to obtain a first property evaluation corresponding to the first component; and in response to obtaining the first property evaluation corresponding to the first component, configuring the computer system to associate the first property evaluation with the second component, and determine a second property evaluation corresponding to the second component, is the second component being associated with the first property evaluation.
    Type: Application
    Filed: September 26, 2013
    Publication date: May 8, 2014
    Applicant: Coverity, Inc.
    Inventors: Marat Boshernitsan, Andreas Kuehlmann, Scott McPeak, Philip Chong, Tobias Welp