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 条
  • [31] Instruction Selection in ASIP Synthesis using Functional Matching
    Arora, Nidhi
    Chandramohan, Kiran
    Pothineni, Nagaraju
    Kumar, Anshul
    23RD INTERNATIONAL CONFERENCE ON VLSI DESIGN, 2010, : 146 - +
  • [32] Towards formal verification of ASIP based on HDPN
    Gao, Yanyan
    Li, Xi
    Ma, Hongxing
    ICECT: 2009 INTERNATIONAL CONFERENCE ON ELECTRONIC COMPUTER TECHNOLOGY, PROCEEDINGS, 2009, : 26 - 32
  • [33] Design and Implementation of a Pipelined Instruction Decoder for an ASIP DSP
    Rekha, Shanthi S.
    Chitra, Hema S.
    Kandaswamy, A.
    INTERNATIONAL CONFERENCE ON MODELLING OPTIMIZATION AND COMPUTING, 2012, 38 : 2237 - 2243
  • [34] Rapid configuration & instruction selection for an ASIP: A case study
    Cheung, N
    Henkel, J
    Parameswaran, S
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, 2003, : 802 - 807
  • [35] Rapid configuration & instruction selection for an ASIP: A case study
    Cheung, N
    Henkel, J
    Parameswaran, S
    EMBEDDED SOFTWARE FOR SOC, 2003, : 403 - 417
  • [36] Design of Reference Model for Core’s Verification Based on Reduced Instruction Set
    Wang Z.
    Yao X.
    Hunan Daxue Xuebao/Journal of Hunan University Natural Sciences, 2022, 49 (06): : 110 - 115
  • [37] Analysis and RTL Correlation of Instruction Set Simulators for Automotive Microcontroller Robustness Verification
    Espinosa, Jaime
    Hernandez, Carles
    Abella, Jaume
    de Andres, David
    Carlos Ruiz, Juan
    2015 52ND ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2015,
  • [38] Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification
    Huang, Bo-Yuan
    Zhang, Hongce
    Subramanyan, Pramod
    Vizel, Yakir
    Gupta, Aarti
    Malik, Sharad
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2019, 24 (01)
  • [39] Verification challenges in configurable processor design with ASIP meister
    Imai, M
    Kitajima, A
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2005, 3725 : 2 - 2
  • [40] VLSI SPECIFICATION AND VERIFICATION
    ANTOLA, A
    MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 403 - 403
12345