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 条
  • [41] Security specification and verification
    Fenkam, P
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 434 - 434
  • [42] PN-based formal modeling and verification for ASIP architecture
    Zhu, Y
    Li, X
    Gong, YC
    Wang, ZG
    EMBEDDED SOFTWARE AND SYSTEMS, 2005, 3605 : 203 - 209
  • [43] EMULATING A COMPLEX INSTRUCTION SET COMPUTER WITH A REDUCED INSTRUCTION SET COMPUTER
    MCNELEY, KJ
    MILUTINOVIC, VM
    IEEE MICRO, 1987, 7 (01) : 60 - 72
  • [44] Properties as processes: Their specification and verification
    Kelso, J
    Milne, G
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005, 2005, 3731 : 503 - 517
  • [45] SPECIFICATION AND VERIFICATION OF VLSI SYSTEMS
    WILK, A
    PNUELI, A
    1989 IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1989, : 460 - 463
  • [46] Specification and Verification of Pharmacokinetic Models
    Kwon, YoungMin
    Kim, Eunhee
    ADVANCES IN COMPUTATIONAL BIOLOGY, 2010, 680 : 465 - 472
  • [47] SPECIFICATION AND VERIFICATION OF DATABASE DYNAMICS
    FIADEIRO, J
    SERNADAS, A
    ACTA INFORMATICA, 1988, 25 (06) : 625 - 661
  • [48] OCCAM IN THE SPECIFICATION AND VERIFICATION OF MICROPROCESSORS
    ROSCOE, AW
    PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY OF LONDON SERIES A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 1992, 339 (1652): : 137 - 151
  • [49] Specification and verification of GPGPU programs
    Blom, Stefan
    Huisman, Marieke
    Mihelcic, Matej
    SCIENCE OF COMPUTER PROGRAMMING, 2014, 95 : 376 - 388
  • [50] PROTOCOL SPECIFICATION, TESTING AND VERIFICATION
    不详
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1984, 8 (01): : 57 - 65
12345