Haihua Shen Yunji Chen Jing Huang EmGen: An Automatic Test-Program Generation Tool for Embedded IP Cores. 528-535 2004 conf/icess/2004 ICESS https://doi.org/10.1007/11535409_77 db/conf/icess/icess2004.html#ShenCH04