Patents by Inventor Mohamed Soufi

Mohamed Soufi 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).

  • PLI-less co-simulation of ISS-based verification systems in hardware simulators
    Patent number: 7447621
    Abstract: A method for providing verification for a simulation design, including obtaining the simulation design comprising a programming language interface system call, encoding a target of the programming language interface system call into the simulation design to obtain a first modified simulation design, modifying the programming language interface system call to reference the target in the first modified simulation design to obtain a second modified simulation design, and verifying the second modified simulation design using a simulation testbench.
    Type: Grant
    Filed: September 29, 2003
    Date of Patent: November 4, 2008
    Assignee: Sun Microsystems, Inc.
    Inventors: William K. Lam, Mohamed Soufi, Victor A. Chang
  • Method for simulation with optimized kernels and debugging with unoptimized kernels
    Patent number: 7424418
    Abstract: A method for providing verification for a first simulation image involves removing nodes from the first simulation image to produce an optimized image and an optimized nodes image, simulating the optimized image, invoking the optimized nodes image if debugging is selected, reconstructing a second simulation image using the optimized image and the optimized nodes image, simulating the second simulation image to gather simulation data, and debugging the first simulation image using simulation data.
    Type: Grant
    Filed: December 31, 2003
    Date of Patent: September 9, 2008
    Assignee: Sun Microsystems, inc.
    Inventors: Mohamed Soufi, William K. Lam
  • Method for transforming behavioral architectural and verification specifications into cycle-based compliant specifications
    Patent number: 7246053
    Abstract: A method for transforming a behavioral specification involves converting the behavioral specification into a diagram representation, converting a delay from the diagram representation if the behavioral specification comprises a delay, generating a compliant cycle diagram from the diagram representation, and deriving a cycle equivalent behavioral specification from the compliant cycle diagram.
    Type: Grant
    Filed: August 2, 2002
    Date of Patent: July 17, 2007
    Assignee: Sun Microsystems, Inc.
    Inventors: Mohamed Soufi, William K. Lam, Victor A. Chang
  • System and method for efficiently tracing simulation data in hardware acceleration simulation systems
    Patent number: 7162403
    Abstract: A system for tracing signals for a cycle-based simulation includes a traced signal and a system resources availability information of the cycle-based simulation, a runtime compiler configured to use the system resources availability information to assign a system resource to trace the traced signal, a logic design used with the system resources availability information to generate a simulation image, a first value of the traced signal generated by execution of a simulation image, and a traced signal buffer configured to store the first value and upload the first value.
    Type: Grant
    Filed: February 14, 2003
    Date of Patent: January 9, 2007
    Assignee: Sun Microsystems, Inc.
    Inventors: Nasser Nouri, Ping-Chih Wu, Mohamed Soufi, David S. Allison
  • Method and apparatus for detection and isolation during large scale circuit verification
    Patent number: 7051303
    Abstract: A method for providing verification for a simulation design involves analyzing a simulation design using a testbench comprising a rapid bug detection tool, and if a bug is detected, adding a bug isolation tool to the testbench, and isolating and eliminating the bug using the testbench comprising the bug isolation tool.
    Type: Grant
    Filed: December 29, 2003
    Date of Patent: May 23, 2006
    Assignee: Sun Microsystems, Inc.
    Inventors: William K. Lam, Mohamed Soufi
  • System and method for efficiently tracing simulation data in hardware acceleration simulation systems
    Publication number: 20040162717
    Abstract: A system for tracing signals for a cycle-based simulation includes a traced signal and a system resources availability information of the cycle-based simulation, a runtime compiler configured to use the system resources availability information to assign a system resource to trace the traced signal, a logic design used with the system resources availability information to generate a simulation image, a first value of the traced signal generated by execution of a simulation image, and a traced signal buffer configured to store the first value and upload the first value.
    Type: Application
    Filed: February 14, 2003
    Publication date: August 19, 2004
    Inventors: Nasser Nouri, Ping-Chih Wu, Mohamed Soufi, David S. Allison
  • Boosting simulation performance by dynamically customizing segmented object codes based on stimulus coverage
    Patent number: 6775810
    Abstract: A method for dynamically customizing object code for simulation includes obtaining a statically generated object (SGO) and a first test vector, segmenting the SGO with a marker node to generate a segmented SGO comprising a plurality of SGO segments, generating a first simulation profile using the segmented SGO and the first test vector, locating a first unexercised segment of the plurality of SGO segments using the first simulation profile, and generating a first reduced SGO by removing the first unexercised segment from the segmented SGO.
    Type: Grant
    Filed: October 8, 2002
    Date of Patent: August 10, 2004
    Assignee: Sun Microsystems, Inc.
    Inventors: Victor A. Chang, William K. Lam, Deepankar Bairagi, Mohamed Soufi
  • Boosting simulation performance by dynamically customizing segmented object codes based on stimulus coverage
    Publication number: 20040068701
    Abstract: A method for dynamically customizing object code for simulation includes obtaining a statically generated object (SGO) and a first test vector, segmenting the SGO with a marker node to generate a segmented SGO comprising a plurality of SGO segments, generating a first simulation profile using the segmented SGO and the first test vector, locating a first unexercised segment of the plurality of SGO segments using the first simulation profile, and generating a first reduced SGO by removing the first unexercised segment from the segmented SGO.
    Type: Application
    Filed: October 8, 2002
    Publication date: April 8, 2004
    Inventors: Victor A. Chang, William K. Lam, Deepankar Bairagi, Mohamed Soufi
  • Method for transforming behavioral architectural and verification specifications into cycle-based compliant specifications
    Publication number: 20040025073
    Abstract: A method for transforming a behavioral specification involves converting the behavioral specification into a diagram representation, converting a delay from the diagram representation if the behavioral specification comprises a delay, generating a compliant cycle diagram from the diagram representation, and deriving a cycle equivalent behavioral specification from the compliant cycle diagram.
    Type: Application
    Filed: August 2, 2002
    Publication date: February 5, 2004
    Inventors: Mohamed Soufi, William K. Lam, Victor A. Chang