Patents by Inventor Florian Letombe

Florian Letombe 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).

  • Test case selection and ordering with covert minimum set cover for functional qualification
    Patent number: 12045158
    Abstract: Techniques and systems for test case selection and ordering with covert minimum set cover for functional qualification are described. Some embodiments can determine a first set of test cases by, iteratively, identifying a set of faults that is covered by a smallest set of test cases, determining whether or not a test case that covers a fault is able to detect the fault, and selecting and adding a test case to the first set of test cases. Next, the embodiments can execute a minimum set cover process on the first set of test cases by using coverage scores for test cases in the first set of test cases for ranking.
    Type: Grant
    Filed: August 26, 2019
    Date of Patent: July 23, 2024
    Assignee: Synopsys, Inc.
    Inventors: Florian Letombe, Erwan P. D. Reguer, Jean-Marc A. Forey
  • TEST CASE SELECTION AND ORDERING WITH COVERT MINIMUM SET COVER FOR FUNCTIONAL QUALIFICATION
    Publication number: 20200065234
    Abstract: Techniques and systems for test case selection and ordering with covert minimum set cover for functional qualification are described. Some embodiments can determine a first set of test cases by, iteratively, identifying a set of faults that is covered by a smallest set of test cases, determining whether or not a test case that covers a fault is able to detect the fault, and selecting and adding a test case to the first set of test cases. Next, the embodiments can execute a minimum set cover process on the first set of test cases by using coverage scores for test cases in the first set of test cases for ranking.
    Type: Application
    Filed: August 26, 2019
    Publication date: February 27, 2020
    Applicant: Synopsys, Inc.
    Inventors: Florian Letombe, Erwan P. D. Reguer, Jean-Marc A. Forey