Patents by Inventor Sébastien Roger Delerse

Sébastien Roger Delerse 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).

  • Patent number: 11775716
    Abstract: A method of capturing signals during hardware verification of a circuit design utilizes at least one field-programmable gate array (FPGA) and includes selecting, at run time and using one or more pre-compiled macros, a group of signals to be captured during verification of the circuit design and storing values of the group of signals in at least first and second random access memories disposed in the at least one FPGA. The first and second random access memories may be addressable spaces of the same random access memory.
    Type: Grant
    Filed: January 28, 2021
    Date of Patent: October 3, 2023
    Assignee: Synopsys, Inc.
    Inventors: Arturo Salz, Ching-Ping Chou, Jean-Philippe Colrat, Sébastien Roger Delerse, Luc Francois Vidal, Arnold Mbotchak
  • Publication number: 20210150110
    Abstract: A method of capturing signals during hardware verification of a circuit design utilizes at least one field-programmable gate array (FPGA) and includes selecting, at run time and using one or more pre-compiled macros, a group of signals to be captured during verification of the circuit design and storing values of the group of signals in at least first and second random access memories disposed in the at least one FPGA. The first and second random access memories may be addressable spaces of the same random access memory.
    Type: Application
    Filed: January 28, 2021
    Publication date: May 20, 2021
    Inventors: Arturo SALZ, Ching-Ping Chou, Jean-Philippe Colrat, Sebastien Roger Delerse, Luc Francois Vidal, Arnold Mbotchak
  • Patent number: 10949588
    Abstract: A method of capturing signals during hardware verification of a circuit design utilizes at least one field-programmable gate array (FPGA) and includes selecting, at run time and using one or more pre-compiled macros, a group of signals to be captured during verification of the circuit design and storing values of the group of signals in at least first and second random access memories disposed in the at least one FPGA. The first and second random access memories may be addressable spaces of the same random access memory.
    Type: Grant
    Filed: November 10, 2017
    Date of Patent: March 16, 2021
    Assignee: SYNOPSYS, INC.
    Inventors: Arturo Salz, Ching-Ping Chou, Jean-Philippe Colrat, Sébastien Roger Delerse, Luc François Vidal, Arnold Mbotchak
  • Patent number: 10489536
    Abstract: A hardware verification system according to one embodiment includes, in part, a plurality of programmable devices. The plurality of programmable devices include a master scheduler, a plurality of schedulers and a plurality of programmable delay elements. A first one of the plurality of schedulers is configured to receive one or more delay values associated with one or more of the plurality of delay elements. Each of the plurality of programmable delay elements corresponds to a delay. The first scheduler is further configured to send a parameter corresponding to the one or more delay values to the master scheduler, and generate one or more signals corresponding to the one or more delay elements in response to a control signal the first scheduler receives from the master scheduler.
    Type: Grant
    Filed: May 14, 2018
    Date of Patent: November 26, 2019
    Assignee: SYNOPSYS, INC.
    Inventors: Alexander Rabinovitch, Cedric Jean Alquier, Sébastien Roger Delerse
  • Publication number: 20180260508
    Abstract: A hardware verification system according to one embodiment includes, in part, a plurality of programmable devices. The plurality of programmable devices include a master scheduler, a plurality of schedulers and a plurality of programmable delay elements. A first one of the plurality of schedulers is configured to receive one or more delay values associated with one or more of the plurality of delay elements. Each of the plurality of programmable delay elements corresponds to a delay. The first scheduler is further configured to send a parameter corresponding to the one or more delay values to the master scheduler, and generate one or more signals corresponding to the one or more delay elements in response to a control signal the first scheduler receives from the master scheduler.
    Type: Application
    Filed: May 14, 2018
    Publication date: September 13, 2018
    Inventors: Alexander Rabinovitch, Cedric Jean Alquier, Sébastien Roger Delerse
  • Patent number: 9547040
    Abstract: Embodiments relate to the emulation of circuits, and detecting an event in a plurality of signals in an emulated circuit. A host system incorporates global event detection logic into a design under test (DUT). An emulator emulates the DUT along with the incorporated global event detection logic. The global event detection logic divides one clock cycle of the DUT into multiple time periods. During each time period of the clock cycle, the emulator selects a different subset of signals from the plurality of signals of the DUT. The emulator determines whether an event occurred for a signal from the subset during the clock cycle. If an event is detected, the emulator generates an output indicating an event was detected among the plurality of signals.
    Type: Grant
    Filed: May 4, 2015
    Date of Patent: January 17, 2017
    Assignee: Synopsys, Inc.
    Inventors: Ludovic Marc Larzul, Frederic Maxime Emirian, Sebastien Roger Delerse
  • Publication number: 20160327609
    Abstract: Embodiments relate to the emulation of circuits, and detecting an event in a plurality of signals in an emulated circuit. A host system incorporates global event detection logic into a design under test (DUT). An emulator emulates the DUT along with the incorporated global event detection logic. The global event detection logic divides one clock cycle of the DUT into multiple time periods. During each time period of the clock cycle, the emulator selects a different subset of signals from the plurality of signals of the DUT. The emulator determines whether an event occurred for a signal from the subset during the clock cycle. If an event is detected, the emulator generates an output indicating an event was detected among the plurality of signals.
    Type: Application
    Filed: May 4, 2015
    Publication date: November 10, 2016
    Inventors: LUDOVIC MARC LARZUL, FREDERIC MAXIME EMIRIAN, SEBASTIEN ROGER DELERSE