Verification of instruction set specification for an ASIP

In order to gain the great performance of ASIP, this paper discusses different aspects of an ASIP in-struction set specification like syntax, encoding, constraints as weld as behaviors, and introduces our ADL mod-el based methodology to check them. The automatic generation of test cases based on our straight-forward in-structian representation is shown, and the efficient generation of them with good coverage is shown as well. The verification of the constraint checker, a very important tool for programmer, is performed. Results show that the toolkit can find some errors in previous delivery tools, and the introduced methodology verifies the feasibility of our instruction set specification.

作 者：

JI Jin-song MAIER Ste-fan NIE Xiao-ning ZHOU Xue-hai  

作者单位：

JI Jin-song,ZHOU Xue-hai(Dept. of Computer Science, USTC, Hefei 230027, China)
MAIER Ste-fan,NIE Xiao-ning(Infineon Technologies AG, Munich, Germany, 85579) 

刊 名：

哈尔滨工业大学学报（英文版）  EI

英文刊名：

JOURNAL OF HARBIN INSTITUTE OF TECHNOLOGY 

年，卷(期)：

2008 15(4) 

分类号：

TP302 

关键词：

verification   ASIP   instruction set specification   ADL  

机标分类号：

TV2 TU5 

机标关键词：

ASIPsetautomatic generationperformanceinstructionbaseddifferentcoverageResultsaspectssyntaxerrorspaperordertestADL 

基金项目：

 

DOI：