Cheng, A.Parashkevov, A.Lim, C.Osseiran, A.Lachowicz, S.Reis, R.Pfleiderer, H.Kang, S.2007-05-142007-05-142005Proceedings of the International Conference on Very Large Scale Integration System-on-Chip, 17 October, 20050729806103http://hdl.handle.net/2440/28514enVerifying system-on-chips at the software application levelConference paper002005149154301Lim, C. [0000-0002-2463-9760]