• DocumentCode
    2742013
  • Title

    A multi-level FPGA synthesis method supporting HDL debugging for emulation-based designs

  • Author

    Fang, Wen-Jong ; Kao, Peng-Cheng ; Wu, Allen C H

  • Author_Institution
    Dept. of Comput. Sci., Tsinghua Univ., Hsinchu, China
  • fYear
    1999
  • fDate
    18-21 Jan 1999
  • Firstpage
    351
  • Abstract
    Converting an HDL-based design into an emulation system for design verification is an extremely complex and time-consuming task. One possible solution to improve productivity is an effective emulation-based design methodology that exploits the modularity of designs. This paper develops and explores such a methodology. We present a multi-level synthesis method which is able to establish a direct link between High-level Descriptive Language (HDL) constructs and corresponding circuit designs. This feature greatly facilitates HDL debugging capabilities such that when bugs are detected in sub-netlists, links allow the corresponding HDL source code to be easily recognized. This powerful feature greatly reduces design debugging time. Experimental results on a set of industrial designs are reported in order to demonstrate the effectiveness of the proposed synthesis methodology
  • Keywords
    field programmable gate arrays; hardware description languages; high level synthesis; multivalued logic circuits; program debugging; HDL debugging; debugging capabilities; design debugging time; design modularity; design verification; emulation-based designs; high-level descriptive language; industrial designs; multi-level FPGA synthesis method; productivity; sub-netlists; Circuit synthesis; Computer bugs; Debugging; Design methodology; Emulation; Field programmable gate arrays; Hardware design languages; Logic design; Productivity; Prototypes;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation Conference, 1999. Proceedings of the ASP-DAC '99. Asia and South Pacific
  • Conference_Location
    Wanchai
  • Print_ISBN
    0-7803-5012-X
  • Type

    conf

  • DOI
    10.1109/ASPDAC.1999.760031
  • Filename
    760031