Study and analysis of system LSI design methodologies using C-based behavioral synthesis

被引:0
|
作者
Kurokawa, H [1 ]
Ikegami, H
Otsubo, M
Asao, K
Kirigaya, K
Misu, K
Takahashi, S
Kawatsu, T
Niita, K
Ryu, H
Wakabayashi, K
Tomobe, M
Takahashi, W
Mukouyama, A
Takenaka, T
机构
[1] NEC Corp Ltd, Electron Devices, Kawasaki, Kanagawa 2118666, Japan
[2] NEC Micro Syst Ltd, Kawasaki, Kanagawa 2110063, Japan
[3] NEC Corp Ltd, Multimedia Res Lab, Kawasaki, Kanagawa 2118666, Japan
关键词
C-based design; behavioral synthesis; verification; design productivity; model abstraction;
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This paper describes the effects of system LSI design with C language-based behavioral synthesis following several trials of design period reduction and quality improvement for a variety of circuit types. The results of these trials are analyzed from the viewpoints of description productivity, verification productivity, reusability and design flexibility as well as hardware and software co-verification. First the C-based design flow proposed by the authors is described, and the design productivity and verification productivity under this design flow is compared to RTL design. The reusability of the behavioral IP core and its efficiency with HW/SW co-verification are also shown using design examples. Next, using the example of an MPEG-4 video decoder design, a typical design process in a C-based design is shown with considerations regarding verification efficiency, reusability of the IP core and HW/SW co-verification. Finally, the authors' perspectives regarding future directions of system LSI design are discussed.
引用
收藏
页码:787 / 798
页数:12
相关论文
共 18 条
  • [11] Rigorous Component-Based System Design Using the BIP Framework
    Basu, Ananda
    Bensalem, Saddek
    Bozga, Marius
    Combaz, Jacques
    Jaber, Mohamad
    Thanh-Hung Nguyen
    Sifakis, Joseph
    IEEE SOFTWARE, 2011, 28 (03) : 41 - 48
  • [12] A Modular Synthesis Approach for Intelligent Manufacturing System Design a Petri net based Transformation Method
    Jafarinejad, Fatcmch
    Pouvan, Ali A.
    2015 SIGNAL PROCESSING AND INTELLIGENT SYSTEMS CONFERENCE (SPIS), 2015, : 128 - 132
  • [13] Design and Implementation Biometric Access Control System Using Fingerprint for Restricted Area Based on Gabor Filter
    El-Sisi, Ashraf
    INTERNATIONAL ARAB JOURNAL OF INFORMATION TECHNOLOGY, 2011, 8 (04) : 355 - 363
  • [14] Design of Highly Reliable Fingerprint Access Control System Based on C8051F020 Single Chip
    Liu, Chunjiang
    Lv, Fang
    2010 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND AUTOMATION ENGINEERING (ICCAE 2010), VOL 3, 2010, : 271 - 274
  • [15] Formal Reliability Analysis of a Typical FHIR Standard based E-Health System using PRISM
    Pervez, Usman
    Hasan, Osman
    Latif, Khalid
    Tahar, Sofiene
    Gawanmeh, Amjad
    Hamdi, Mohamed Salah
    2014 IEEE 16TH INTERNATIONAL CONFERENCE ON E-HEALTH NETWORKING, APPLICATIONS AND SERVICES (HEALTHCOM), 2014, : 43 - 48
  • [16] Formal Reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM
    Pervez, Usman
    Mahmood, Asiah
    Hasan, Osman
    Latif, Khalid
    Gawanmeh, Amjad
    2015 17TH INTERNATIONAL CONFERENCE ON E-HEALTH NETWORKING, APPLICATION & SERVICES (HEALTHCOM), 2015, : 108 - 113
  • [17] Design and Assurance of Safety-Critical Systems with Artificial Intelligence in FPGAs: The Safety ArtISt Method and a Case Study of an FPGA-Based Autonomous Vehicle Braking Control System
    Silva Neto, Antonio V.
    Silva, Henrique L.
    Camargo Jr, Joao B.
    Almeida Jr, Jorge R.
    Cugnasca, Paulo S.
    ELECTRONICS, 2023, 12 (24)
  • [18] A numerical study on the effects of design/operating parameters of the radiant panel in a radiation-based task air conditioning system on indoor thermal comfort and energy saving for a sleeping environment
    Du, Jing
    Chan, Mingyin
    Pan, Dongmei
    Deng, Shiming
    ENERGY AND BUILDINGS, 2017, 151 : 250 - 262