Patents by Inventor Alain Raynaud

Alain Raynaud 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).

  • Publication number: 20250053448
    Abstract: Techniques are disclosed relating to controlling hardware resources over an interface. In some embodiments, a first device performs tasks using one or more included hardware resources, including providing a local control stream that controls operation of the one or more hardware resources. In response to detecting a connection to a second device, the first device offloads the tasks to the second device including transitioning from providing the local control stream to routing, via the interface controller, a remote control stream received from the second device to the one or more hardware resources.
    Type: Application
    Filed: August 7, 2024
    Publication date: February 13, 2025
    Inventors: Scott A. Long, Alain Raynaud
  • Patent number: 6336087
    Abstract: Register transfer level (RTL) source code is synthesized to generate a gate-level representation and to generate instrumentation logic corresponding to one or more statements in the RTL source code. The instrumentation logic comprises logic circuitry in addition to that of the gate-level representation. The instrumentation logic indicates an execution status for the corresponding RTL statement(s) during gate-level simulation.
    Type: Grant
    Filed: July 24, 1998
    Date of Patent: January 1, 2002
    Inventors: Luc M. Burgun, Alain Raynaud
  • Publication number: 20010011212
    Abstract: Methods of instrumenting synthesizable source code to enable debugging support akin to high-level language programming environments for gate-level simulation are provided. One method of facilitating gate-level simulation includes generating cross-reference instrumentation data including instrumentation logic indicative of an execution status of at least one synthesizable register transfer level (RTL) source code statement. A gate-level netlist is synthesized from the source code. Evaluation of the instrumentation logic during simulation of the gate-level netlist facilitates simulation by indicating the execution status of a corresponding source code statement. One method results in a modified gate-level netlist to generate instrumentation signals corresponding to synthesizable statements within the source code. This may be accomplished by modifying the source code or by generating the modified gate-level netlist as if the source code was modified during synthesis.
    Type: Application
    Filed: July 24, 1998
    Publication date: August 2, 2001
    Inventors: ALAIN RAYNAUD, LUC M. BURGUN
  • Patent number: 6240376
    Abstract: Methods of instrumenting synthesizable source code to enable debugging support akin to high-level language programming environments for gate-level simulation are provided. One method of facilitating gate level simulation includes generating cross-reference instrumentation data including instrumentation logic indicative of an execution status of at least one synthesizable register transfer level (RTL) source code statement. A gate-level netlist is synthesized from the source code. Evaluation of the instrumentation logic during simulation of the gate-level netlist facilitates simulation by indicating the execution status of a corresponding source code statement. One method results in a modified gatelevel netlist to generate instrumentation signals corresponding to synthesizable statements within the source code. This may be accomplished by modifying the source code or by generating the modified gate-level netlist as if the source code was modified during synthesis.
    Type: Grant
    Filed: July 31, 1998
    Date of Patent: May 29, 2001
    Assignee: Mentor Graphics Corporation
    Inventors: Alain Raynaud, Luc M. Burgun