Patents by Inventor Claudionor COELHO, JR.

Claudionor COELHO, JR. 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).

  • Data propagation analysis for debugging a circuit design
    Patent number: 10078714
    Abstract: A method for data propagation analysis. A data propagation diagram for a circuit design is generated. The data propagation diagram includes a plurality of nodes and a plurality of edges connecting the nodes. The nodes represent data locations in the circuit design and the edges represent data propagation paths between the data locations in the circuit design. A signal trace specifying signal values for the circuit design is analyzed to determine whether data at a first data location of the data locations during a first clock cycle is causally related to the data at a second data location of the data locations during a second clock cycle. A visual animation is displayed on the data propagation diagram indicating movement of the data between a first node of the nodes corresponding to the first data location and a second node of the nodes corresponding to the second data location.
    Type: Grant
    Filed: October 31, 2013
    Date of Patent: September 18, 2018
    Assignee: Cadence Design Systems, Inc.
    Inventors: Fabiano Peixoto, Breno Rodrigues Guimaraes, Xiaoyang Sun, Claudionor Coelho, Jr.
  • DATA PROPAGATION ANALYSIS FOR DEBUGGING A CIRCUIT DESIGN
    Publication number: 20160283628
    Abstract: A method for data propagation analysis. A data propagation diagram for a circuit design is generated. The data propagation diagram includes a plurality of nodes and a plurality of edges connecting the nodes. The nodes represent data locations in the circuit design and the edges represent data propagation paths between the data locations in the circuit design. A signal trace specifying signal values for the circuit design is analyzed to determine whether data at a first data location of the data locations during a first clock cycle is causally related to the data at a second data location of the data locations during a second clock cycle. A visual animation is displayed on the data propagation diagram indicating movement of the data between a first node of the nodes corresponding to the first data location and a second node of the nodes corresponding to the second data location.
    Type: Application
    Filed: October 31, 2013
    Publication date: September 29, 2016
    Applicant: JASPER DESIGN AUTOMATION, INC.
    Inventors: Fabiano PEIXOTO, Breno Rodrigues GUIMARAES, Xiaoyang SUN, Claudionor COELHO, JR.