A new computing model for C-like hardware description languages

被引:1
|
作者
Wang, Jimin [1 ]
Ping, Lingdi [1 ]
Wang, Jiebing [1 ]
Sun, Kang [1 ]
机构
[1] Zhejiang Univ, Coll Comp Sci & Technol, Zhejiang, Peoples R China
关键词
D O I
10.1109/IMSCCS.2006.153
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Traditional C-like hardware description languages are based on single dimensional computing model. They describe only behavior of designs, while cost information is leaved to be digging out by a synthesizer at late stage of design process. However, cost information is needed in high level synthesis for making trade-off among different aspects of cost to achieve global optimized design. To solve the problem, we extended traditional computing model to multi-dimensional so cost information can be included in the language, and integrated it to a popular C++ variant hardware description language-System C. The result language describes both behavior and cost of designs so trade-off can be made at relative high level during synthesis process and early stage of design process, thus make it easy to optimize designs for different target applications.
引用
收藏
页码:249 / +
页数:3
相关论文
共 50 条
  • [1] The challenges of hardware synthesis from C-like languages
    Edwards, SA
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 66 - 67
  • [2] The challenges of synthesizing hardware from C-like languages
    Edwards, Stephen A.
    IEEE DESIGN & TEST OF COMPUTERS, 2006, 23 (05): : 375 - 386
  • [3] Real-time extensions to a C-like hardware description language
    Todman, T
    Luk, W
    FCCM 2003: 11TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS, 2003, : 302 - 304
  • [4] Formal verification of a memory model for C-like imperative languages
    Blazy, S
    Leroy, X
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 280 - 299
  • [5] Compiling C-like Languages to FPGA Hardware: Some Novel Approaches Targeting Data Memory Organization
    Liu, Qiang
    Constantinides, George A.
    Masselos, Konstantinos
    Cheung, Peter Y. K.
    COMPUTER JOURNAL, 2011, 54 (01): : 1 - 10
  • [6] Design and Implementation of Sparse Global Analyses for C-like Languages
    Oh, Hakjoo
    Heo, Kihong
    Lee, Wonchan
    Lee, Woosuk
    Yi, Kwangkeun
    ACM SIGPLAN NOTICES, 2012, 47 (06) : 229 - 238
  • [7] Cg: A system for programming graphics hardware in a C-like language
    Mark, WR
    Glanville, RS
    Akeley, K
    Kilgard, MJ
    ACM TRANSACTIONS ON GRAPHICS, 2003, 22 (03): : 896 - 907
  • [8] HARDWARE DESCRIPTION LANGUAGES
    PAWIAK, A
    MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 515 - 515
  • [9] Hardware description languages
    CAE, Computer-Aided Engineering, 1993, 12 (07): : 26 - 30
  • [10] HARDWARE DESCRIPTION LANGUAGES
    PAWLAK, A
    MICROPROCESSING AND MICROPROGRAMMING, 1986, 18 (1-5): : 547 - 547