Theory and verification of operator design methodology

被引:0
|
作者
ZiYi Hu
Yong Zhao
XinAn Wang
Ru Huang
Teng Wang
Xing Zhang
机构
[1] Peking University Shenzhen Graduate School,Key Lab of Integrated Microsystem Science and Engineering Applications
[2] Peking University,Institute of Microelectronics
来源
关键词
operator design methodology; H.264 encoder; integrated circuit; hardware;
D O I
暂无
中图分类号
学科分类号
摘要
Non-recurring-engineering (NRE) and time-to-market play an increasingly important role in the field of IC design. Meanwhile, with the continuous development of IC manufacturing technology, it is necessary to propose a novel design methodology to shorten design cycle and enhance design efficiency. In this paper, operator design methodology (ODM) is presented and an H.264 encoder is implemented as a verification. According to the flow of ODM, the register transfer level (RTL) design of H.264 encoder has been accomplished with 15 manmonths, which is lower than the average 19 man-months in the field of traditional application specific integrated circuit (ASIC) design. Moreover, with the advantage of operator design library, the design has a comparable performance with other ASIC implementations. The obtained design can support a real-time video encoding of 720p at 60 frames per second or 1080p at 30 frames per second, working at 167 MHz with SMIC 0.13 μm CMOS technology. These results provide good evidence for the practicability and efficiency of ODM.
引用
收藏
页码:480 / 490
页数:10
相关论文
共 50 条
  • [1] Theory and verification of operator design methodology
    HU ZiYi1
    2Institute of Microelectronics
    [J]. Science China(Information Sciences), 2012, 55 (02) : 480 - 490
  • [2] Theory and verification of operator design methodology
    Hu ZiYi
    Zhao Yong
    Wang XinAn
    Huang Ru
    Wang Teng
    Zhang Xing
    [J]. SCIENCE CHINA-INFORMATION SCIENCES, 2012, 55 (02) : 480 - 490
  • [3] A "Design for verification" methodology
    Sforza, F
    Battù, L
    Brunelli, M
    Castelnuovo, A
    Magnaghi, M
    [J]. INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, PROCEEDINGS, 2001, : 50 - 55
  • [4] A TLM design for verification methodology
    Bombieri, Nicola
    Fummi, Franco
    Pravadelli, Graziano
    [J]. PRIME 2006: 2ND CONFERENCE ON PH.D. RESEARCH IN MICROELECTRONIC AND ELECTRONICS, PROCEEDINGS, 2006, : 337 - +
  • [5] Commercial design verification: Methodology and tools
    Pixley, C
    Strader, NR
    Bruce, WC
    Park, JH
    Kaufmann, M
    Shultz, K
    Burns, M
    Kumar, J
    Yuan, J
    Nguyen, J
    [J]. INTERNATIONAL TEST CONFERENCE 1996, PROCEEDINGS, 1996, : 839 - 848
  • [6] Study on micro controller design and verification methodology
    Kim, KS
    Park, JS
    [J]. KORUS 2003: 7TH KOREA-RUSSIA INTERNATIONAL SYMPOSIUM ON SCIENCE AND TECHNOLOGY, VOL 2, PROCEEDINGS: ELECTRICAL ENGINEERING AND INFORMATION TECHNOLOGY, 2003, : 228 - 233
  • [7] A Design and Verification Methodology for Secure Isolated Regions
    Sinha, Rohit
    Costa, Manuel
    Lal, Akash
    Lopes, Nuno P.
    Rajamani, Sriram
    Seshia, Sanjit A.
    Vaswani, Kapil
    [J]. ACM SIGPLAN NOTICES, 2016, 51 (06) : 665 - 681
  • [8] Promising complex ASIC design verification methodology
    Assaf, Mansour H.
    Das, Sunil R.
    Hermas, Wael
    Jone, Wen-B.
    [J]. 2007 IEEE INSTRUMENTATION & MEASUREMENT TECHNOLOGY CONFERENCE, VOLS 1-5, 2007, : 857 - +
  • [9] An Automatic SoC Design Methodology for Integration and Verification
    Ma, De
    Huang, Kai
    Xiu, SiWen
    Yan, Xiaolang
    Feng, Jiong
    Zeng, JianLin
    Ge, Haitong
    [J]. MANUFACTURING SCIENCE AND TECHNOLOGY, PTS 1-8, 2012, 383-390 : 2222 - 2230
  • [10] Distributed design theory and methodology
    Olivier, G
    Ibrahim, S
    Patrick, M
    [J]. CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 1995, 3 (01): : 43 - 54