Verification of instruction set specification for an ASIP  

作　　者：纪金松 MAIER Stefan 聂晓宁 周学海 

机构地区：[1]Dept.of Computer Science,USTC [2]Infineon Technologies AG,Munich,Germany,85579

出　　处：《Journal of Harbin Institute of Technology(New Series)》2008年第4期482-486,共5页哈尔滨工业大学学报（英文版）

摘　　要：In order to gain the great performance of ASIP, this paper discusses different aspects of an ASIP instruction set specification like syntax, encoding, constraints as welt as behaviors, and introduces our ADL model based methodology to check them. The automatic generation of test cases based on our straight-forward instruction 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.In order to gain the great performance of ASIP,this paper discusses different aspects of an ASIP instruction set specification like syntax,encoding,constraints as well as behaviors,and introduces our ADL model based methodology to check them.The automatic generation of test cases based on our straight-forward instruction 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.

关 键 词：VERIFICATION ASIP instruction set specification ADL 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]