Innovative system-level design environment based on FORM for transport processing system

被引：2
|
作者：
Higuchi, K [1 ]
Shirakawa, K [1 ]
机构：
[1] NTT, Opt Network Syst Labs, Kanagawa 2390847, Japan
来源：
DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS | 1998年
关键词：
D O I：
10.1109/DATE.1998.655962
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents a system-level design environment for data transport processing systems. In this environment, designers can easily verify system behavior by formally defining data structures and their related actions, without considering derailed timing. In addition, the verified specification can be translated into synthesizable RTL descriptions by a dedicated RTL generator. Thus, using lower-level EDA tools, actual hardware can be obtained directly from a system-level specification.
引用
收藏
页码：883 / 890
页数：8
相关论文
共 50 条
  • [21] PCB leapfrogs into system-level design
    Glover, Rita
    1996, Penton Publ Inc, Cleveland, OH, United States (44)
  • [22] SIMULATION LIBRARIES FOR SYSTEM-LEVEL DESIGN
    RICHARDS, MA
    COMPUTER, 1995, 28 (02) : 76 - 77
  • [23] The SystemJ approach to system-level design
    Gruian, Flavius
    Roop, Partha
    Salcic, Zoran
    Radojevic, Ivan
    FOURTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2006, : 149 - +
  • [24] Complexity management in system-level design
    Kalavade, A
    Lee, EA
    JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 1996, 14 (02): : 157 - 169
  • [25] System-level design made easy
    不详
    IEE REVIEW, 1998, 44 (04): : 146 - 146
  • [26] An Architectural Model for System-Level Design
    Calvez, J.P.
    Peckol, J.K.
    INCOSE International Symposium, 1997, 7 (01): : 332 - 339
  • [27] System-level design language arrives
    Goering, Richard
    Electronic Engineering Times, 2006, (1422)
  • [28] Complexity management in system-level design
    Univ of California at Berkeley, Berkeley, United States
    J VLSI Signal Process, 2 (157-169):
  • [29] DESIGN AT THE SYSTEM-LEVEL WITH VLSI CMOS
    SECHLER, RF
    GROHOSKI, GF
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1995, 39 (1-2) : 5 - 22
  • [30] Experiment on a system-level design tool
    Ruder, Joshua Austin
    Sobek, Durward Kenneth, II
    JOURNAL OF ENGINEERING DESIGN, 2007, 18 (04) : 327 - 342
12345