Maximum Flow Algorithms for Maximum Observability During FPGA Debug

被引:0
|
作者
Hung, Eddie [1 ]
Jamal, Al-Shahna [1 ]
Wilton, Steven J. E. [1 ]
机构
[1] Univ British Columbia, Dept Elect & Comp Engn, Vancouver, BC V5Z 1M9, Canada
来源
PROCEEDINGS OF THE 2013 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (FPT) | 2013年
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Due to the ever-increasing density and complexity of integrated circuits, FPGA prototyping has become a necessary part of the design process. To enhance observability into these devices, designers commonly insert trace-buffers to record and expose the values on a small subset of internal signals during live operation to help root-cause errors. For dense designs, routing congestion will restrict the number of signals that can be connected to these trace-buffers. In this work, we apply optimal network flow graph algorithms, a well studied technique, to the problem of transporting circuit signals to embedded trace-buffers for observation. Specifically, we apply a minimum cost maximum flow algorithm to gain maximum signal observability with minimum total wirelength. We showcase our techniques on both theoretical FPGA architectures using VPR, and with a Xilinx Virtex6 device, finding that for the latter, over 99.6% of all spare RAM inputs can be reclaimed for tracing across four large benchmarks.
引用
收藏
页码:20 / 27
页数:8
相关论文
共 50 条
  • [1] Efficient Maximum Flow Algorithms
    Goldberg, Andrew V.
    Tarjan, Robert E.
    COMMUNICATIONS OF THE ACM, 2014, 57 (08) : 82 - 89
  • [2] ALGORITHMS FOR MAXIMUM NETWORK FLOW
    TARJAN, RE
    MATHEMATICAL PROGRAMMING STUDY, 1986, 26 : 1 - 11
  • [3] Computational investigations of maximum flow algorithms
    Ahuja, RK
    Kodialam, M
    Mishra, AK
    Orlin, JB
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 1997, 97 (03) : 509 - 542
  • [4] The symbolic algorithms for maximum flow in networks
    Gu, Tianlong
    Xu, Zhoubo
    COMPUTERS & OPERATIONS RESEARCH, 2007, 34 (03) : 799 - 816
  • [5] Recent developments in maximum flow algorithms
    Asano, T
    Asano, Y
    JOURNAL OF THE OPERATIONS RESEARCH SOCIETY OF JAPAN, 2000, 43 (01) : 2 - 31
  • [6] Simple generalized maximum flow algorithms
    Tardos, E
    Wayne, KD
    INTEGER PROGRAMMING AND COMBINATORIAL OPTIMIZATION, 1998, 1412 : 310 - 324
  • [7] DISTANCE-DIRECTED AUGMENTING PATH ALGORITHMS FOR MAXIMUM FLOW AND PARAMETRIC MAXIMUM FLOW PROBLEMS
    AHUJA, RK
    ORLIN, JB
    NAVAL RESEARCH LOGISTICS, 1991, 38 (03) : 413 - 430
  • [8] Simple dynamic algorithms for Maximal Independent Set, Maximum Flow and Maximum Matching
    Gupta, Manoj
    Khan, Shahbaz
    2021 SYMPOSIUM ON SIMPLICITY IN ALGORITHMS, SOSA, 2021, : 86 - 91
  • [9] Bioinspired Parallel Algorithms for Maximum Clique Problem on FPGA Architectures
    Martinez-Perez, Israel
    Brandt, Wolfgang
    Wild, Michael
    Zimmermann, Karl-Heinz
    JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2010, 58 (02): : 117 - 124
  • [10] Bioinspired Parallel Algorithms for Maximum Clique Problem on FPGA Architectures
    Israel Martínez-Pérez
    Wolfgang Brandt
    Michael Wild
    Karl-Heinz Zimmermann
    Journal of Signal Processing Systems, 2010, 58 : 117 - 124