Study on the Framework of ASIP Executable Specification

被引：0
|
作者：
Zhu, Yong [1 ]
机构：
[1] Wuhan Text Univ, Coll Math & Comp Sci, Wuhan, Peoples R China
来源：
INFORMATION TECHNOLOGY APPLICATIONS IN INDUSTRY, PTS 1-4 | 2013年 / 263-266卷
关键词：
Executable Specification; Framework; ADL (Architecture Description Language); ASP (Application Specific Instruction Set Processor);
D O I：
10.4028/www.scientific.net/AMM.263-266.1768
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
The research in accordance with the "description - synthesize" methodology to describe ASIP model is put forward. The executable specification described by the ADL drives the entire design process, and will be synthesized for HDL (Hardware Description Language) logic in EDA software framework to generate automatic design tools.
引用
收藏
页码：1768 / 1772
页数：5
相关论文
共 50 条
  • [1] An Executable Specification for SPARQL
    Bornea, Mihaela
    Dolby, Julian
    Fokoue, Achille
    Kementsietsidis, Anastasios
    Srinivas, Kavitha
    Vaziri, Mandana
    WEB INFORMATION SYSTEMS ENGINEERING - WISE 2016, PT II, 2016, 10042 : 298 - 305
  • [2] UML for executable specification
    Douglass, BP
    EDN, 2001, 46 (18) : 83 - +
  • [3] EXECUTABLE SPECIFICATION OF STATIC SEMANTICS
    DESPEYROUX, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 173 : 215 - 233
  • [4] Executable protocol specification in ESL
    Clarke, E
    German, S
    Lu, Y
    Veith, H
    Wang, D
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2000, 1954 : 197 - 216
  • [5] Verification of instruction set specification for an ASIP
    Ji, Jin-Song
    Maier, Stefan
    Nie, Xiao-Ning
    Zhou, Xue-Hai
    Journal of Harbin Institute of Technology (New Series), 2008, 15 (04) : 482 - 486
  • [6] THE ASIP DESIGN SPECIFICATION BASED ON ADL
    Zhu Yong
    DCABES 2009: THE 8TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING AND SCIENCE, PROCEEDINGS, 2009, : 372 - 374
  • [7] An executable specification of a formal argumentation protocol
    Artikis, Alexander
    Sergot, Marek
    Pitt, Jeremy
    ARTIFICIAL INTELLIGENCE, 2007, 171 (10-15) : 776 - 804
  • [8] An executable specification language for specification understanding in object-oriented specification reuse
    Chou, SC
    Chen, JY
    Chung, CG
    INFORMATION AND SOFTWARE TECHNOLOGY, 1996, 38 (06) : 419 - 434
  • [9] An executable specification and verifier for relaxed memory order
    Park, SJ
    Dill, DL
    IEEE TRANSACTIONS ON COMPUTERS, 1999, 48 (02) : 227 - 235
  • [10] MULTIPLE VIEWS OF AN EXECUTABLE SOFTWARE SPECIFICATION LANGUAGE
    TUNG, Y
    KHWAJA, AA
    URBAN, JE
    JOURNAL OF SYSTEMS AND SOFTWARE, 1993, 21 (03) : 305 - 319
12345