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 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 s...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of Harbin Institute of Technology 2008-08, Vol.15 (4), p.482-486
1. Verfasser:	纪金松 MAIER Stefan 聂晓宁 周学海
Format:	Artikel
Sprache:	eng
Schlagworte:	技术性能 计算机技术 验证方法
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!