Xilinx, Inc.

Chaosheng Shi

Xin Jin

Dan Liu

Hem C Neema

Luciano Lavagno

Thomas Bollaert

Inter-kernel dataflow analysis and deadlock detection includes, for each kernel of a plurality of kernels of a design, including, using computer hardware, a signal for the kernel that is asserted in response to all processes inside the kernel stalling, wherein the plurality of kernels form a strongly connected component. For each kernel of the plurality of kernels, the signal is asserted during operation of the design in response to each process in the kernel stalling. A notification is generated indicating that the strongly connected component is deadlocked in response to each kernel of the strongly connected component asserting the signal.

Growing community of inventors

Beijing, China

Chaosheng Shi