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 条
  • [21] A methodology for the design of application specific instruction set processors (ASIP) using the machine description language LISA
    Hoffmann, A
    Schliebusch, O
    Nohl, A
    Braun, G
    Wahlen, O
    Meyr, H
    ICCAD 2001: IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, DIGEST OF TECHNICAL PAPERS, 2001, : 625 - 630
  • [22] AN EFFICIENT SCHEDULING ALGORITHM FOR PIPELINED INSTRUCTION SET PROCESSOR AND ITS APPLICATION TO ASIP HARDWARE SOFTWARE CODESIGN
    BINH, NN
    IMAI, M
    SHIOMI, A
    HIKICHI, N
    HONMA, Y
    SATO, J
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1995, E78A (03) : 353 - 362
  • [23] ASIP instruction encoding for energy and area reduction
    Morgan, Paul
    Taylor, Richard
    2007 44TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2007, : 797 - +
  • [24] Automatic verification of instruction set simulation using synchronized state comparison
    Glamm, B
    Lilja, DJ
    34TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2001, : 72 - 77
  • [25] Software/Hardware Co-Verification for Custom Instruction Set Processors
    Jakobs, Marie-Christine
    Pauck, Felix
    Platzner, Marco
    Wehrheim, Heike
    Wiersema, Tobias
    IEEE ACCESS, 2021, 9 : 160559 - 160579
  • [26] Design and Application of Instruction Set Simulator on Multi-Core Verification
    Hu, Xiang-Dong
    Guo, Yong
    Zhu, Ying
    Guo, Xin
    Wang, Peng
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2010, 25 (02) : 267 - 273
  • [27] HybridVerifier: A Cross-Platform Verification Framework for Instruction Set Simulators
    Garcia, Maxiwell
    Francesquini, Emilio
    Azevedo, Rodolfo
    Rigo, Sandro
    IEEE EMBEDDED SYSTEMS LETTERS, 2017, 9 (02) : 25 - 28
  • [28] Verification of All-Digital SPARC Instruction Set Based on FPGA
    Cui, Kai
    Zhou, KuanJiu
    Wang, Jie
    Hao, Sun
    Lin, Chuang
    2012 INTERNATIONAL WORKSHOP ON INFORMATION AND ELECTRONICS ENGINEERING, 2012, 29 : 1276 - 1280
  • [29] Design and Application of Instruction Set Simulator on Multi-Core Verification
    Xiang-Dong Hu
    Yong Guo
    Ying Zhu
    Xin Guo
    Peng Wang
    Journal of Computer Science and Technology, 2010, 25 : 267 - 273
  • [30] Design and Application of Instruction Set Simulator on Multi-Core Verification
    胡向东
    郭勇
    朱英
    郭昕
    王鹏
    Journal of Computer Science & Technology, 2010, 25 (02) : 267 - 273
12345