Verification of instruction set specification for an ASIP

被引：0
|
作者：
Ji, Jin-Song [1 ]
Maier, Stefan [2 ]
Nie, Xiao-Ning [2 ]
Zhou, Xue-Hai [1 ]
机构：
[1] Dept. of Computer Science, USTC, Hefei 230027, China
[2] Infineon Technologies AG, Munich, 85579, Germany
来源：
Journal of Harbin Institute of Technology (New Series) | 2008年 / 15卷 / 04期
关键词：
ASIP - Automatic Generation - Instruction set - Model-based OPC - Test case;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：482 / 486
相关论文
共 50 条
  • [11] BOSON - Application-Specific Instruction Set Processor (ASIP) for Educational Purposes
    Mazurek, Przemyslaw
    16TH IEEE INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS AND VISION (ICARCV 2020), 2020, : 1323 - 1328
  • [12] Instruction-Set Extension for an ASIP-based SIFT Feature Extraction
    Mentzer, Nico
    Paya-Vaya, Guillermo
    Blume, Holger
    von Egloffstein, Nora
    Ritter, Werner
    2014 INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION (SAMOS XIV), 2014, : 335 - 342
  • [13] Instruction-set Selection for Multi-application based ASIP Design: An Instruction-level Study
    Ragel, Roshan
    Radhakrishnan, Swarnalatha
    Ambrose, Angelo
    2012 IEEE 6TH INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION FOR SUSTAINABILITY (ICIAFS2012), 2012, : 141 - 146
  • [14] Formal verification for microprocessors with extendable instruction set
    Sawitzki, S
    Spallek, RG
    Schönherr, J
    Straube, B
    IEEE INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES, AND PROCESSORS, PROCEEDINGS, 2000, : 47 - 55
  • [15] Advantage and possibility of Application-domain Specific Instruction-set Processor (ASIP)
    Imai M.
    Takeuchi Y.
    Sakanushi K.
    Ishiura N.
    IPSJ Transactions on System LSI Design Methodology, 2010, 3 : 161 - 178
  • [16] Formal specification and verification of the SET/A protocol with an integrated approach
    Lam, VSW
    Padget, J
    CEC 2004: IEEE INTERNATIONAL CONFERENCE ON E-COMMERCE TECHNOLOGY, PROCEEDINGS, 2004, : 229 - 235
  • [17] 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
  • [18] Study on the Framework of ASIP Executable Specification
    Zhu, Yong
    INFORMATION TECHNOLOGY APPLICATIONS IN INDUSTRY, PTS 1-4, 2013, 263-266 : 1768 - 1772
  • [19] A Study in Functional Verification of ASIP
    Xu, Jianzhou
    Su, Jinhai
    Dai, Zibin
    Li, Wei
    ADVANCED MATERIALS AND ENGINEERING MATERIALS, PTS 1 AND 2, 2012, 457-458 : 218 - 224
  • [20] DATA PATH SYNTHESIS FROM A MICROCONTROLLER INSTRUCTION SET SPECIFICATION IN MICROSYN
    HAECK, HG
    KROHM, F
    MANOLI, Y
    MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 193 - 198
12345