C-based SoC design flow and EDA tools: An ASIC and system vendor perspective

被引:59
作者
Wakabayashi, K [1 ]
Okamoto, T [1 ]
机构
[1] NEC Corp Ltd, C&C Media Res Labs, Kawasaki, Kanagawa 213, Japan
关键词
C-based design; dynamic reconfigurable computation; floor plan; hardware description language; hardware/software co-simulation; high-level synthesis; high-level verification; SoC; timing closure;
D O I
10.1109/43.898829
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This paper examines the achievements and future of system-on-a-chip (SoC) design methodology and design now from the viewpoints of an in-house electronic design automation team of an application-specific integrated circuit and system vendor. We initially discuss the problems of the design productivity gap caused by the SoCs complexity and the timing closure caused by deep-sub-micrometer technology. To solve these two problems, we propose a C-based SoC design environment that features integrated high-level synthesis (HLS) and verification tools. A HLS system is introduced using various successful industrial design examples, and its advantages and drawbacks are discussed. We then look at the future directions of this system. The high-level verification environment consists of a mixed-level hardware/software co-simulator, formal and semi formal verifiers, and test-bench generators. The verification tools are tightly integrated with the HLS system and take advantage of information from the synthesis system. Then, we discusses the possibility of incorporating physical design feature into the C-based SoC design environment. Finally we describe our global vision for an SoC architecture and SoC design methodology.
引用
收藏
页码:1507 / 1522
页数:16
相关论文
共 27 条
  • [1] ALASHARI S, 1999, INTEGRATED SYSTE JAN
  • [2] BERGAMASCHI R, 2000, P SASIMI 2000, P269
  • [3] BRAYTON RK, 1996, P 8 INT C COMP AID V, P428
  • [4] BURCH JR, 1990, P 27 ACM IEEE DES AU, P46
  • [5] Clarke E.M., 1983, C RECORD 10 ANN ACM, P117, DOI [10.1145/567067, DOI 10.1145/567067.567080]
  • [6] COSTE P, 2000, P SASIMI 2000, P49
  • [7] DEMECHELI G, 1995, HARDWARE SOFTWARE CO
  • [8] Flake P. L., 2000, Proceedings ASP-DAC 2000. Asia and South Pacific Design Automation Conference 2000 with EDA TechnoFair 2000. (Cat. No.00EX389), P583, DOI 10.1109/ASPDAC.2000.835168
  • [9] FUJII T, 1999, P INT SOL STAT CIRC, P360
  • [10] Gajski D.D., 1992, High-level synthesis: introduction to chip and system design