DATA PROPAGATION ANALYSIS FOR DEBUGGING A CIRCUIT DESIGN
摘要
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.
申请公布号
WO2015062013(A1)
申请公布日期
2015.05.07
申请号
WO2013CN86294
申请日期
2013.10.31
申请人
JASPER DESIGN AUTOMATION, INC.;PEIXOTO, FABIANO;GUIMARAES, BRENO RODRIGUES;SUN, XIAOYANG;COELHO, CLAUDIONOR JR.
发明人
PEIXOTO, FABIANO;GUIMARAES, BRENO RODRIGUES;SUN, XIAOYANG;COELHO, CLAUDIONOR JR.