EmGen: An automatic test-program generation tool for embedded IP cores.

	EmGen: An automatic test-program generation tool for embedded IP cores.
	Shen, HH; Chen, YJ; Huang, J
	2005
发表期刊	EMBEDDED SOFTWARE AND SYSTEMS
ISSN	0302-9743
卷号	3605 页码:528-535
摘要	Core-based system-on-chip (SoC) design is quickly becoming a new paradigm in electronic system design due to the reusability of IP cores. However, the validation of IP cores is the most time consuming task in the design flow. This paper presents EmGen, an automatic test-program generation tool designed for embedded microprocessor cores. EmGen provides an configurable formal specification model with heuristic knowledge, which can generate test programs according to different configuration of microprocessors' architecture, a test generation scheme based on heuristic algorithms, which can efficiently provide instructions in test programs, and validation testbenches, which support simulation with generated test programs automatically and check the equivalence of microprocessors and the specified instruction reference model. EmGen is currently in use at ICT for the verification of embedded microprocessor cores. Experiments results show that EmGen can improve verification process and cut down skilled manpower obviously.
收录类别	SCI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering ; Computer Science, Theory & Methods
WOS记录号	WOS:000233067600077
出版者	SPRINGER-VERLAG BERLIN
引用统计
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/10136
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Shen, HH
作者单位	Chinese Acad Sci, Inst Comp Technol, Beijing, Peoples R China
推荐引用方式 GB/T 7714	Shen, HH,Chen, YJ,Huang, J. EmGen: An automatic test-program generation tool for embedded IP cores.[J]. EMBEDDED SOFTWARE AND SYSTEMS,2005,3605:528-535.
APA	Shen, HH,Chen, YJ,&Huang, J.(2005).EmGen: An automatic test-program generation tool for embedded IP cores..EMBEDDED SOFTWARE AND SYSTEMS,3605,528-535.
MLA	Shen, HH,et al."EmGen: An automatic test-program generation tool for embedded IP cores.".EMBEDDED SOFTWARE AND SYSTEMS 3605(2005):528-535.