Daniel Große, Ulrich Kühne, Rolf Drechsler. HW/SW co-verification of embedded systems using bounded model checking. In Gang Qu, Yehea I. Ismail, Narayanan Vijaykrishnan, Hai Zhou, editors, Proceedings of the 16th ACM Great Lakes Symposium on VLSI 2006, Philadelphia, PA, USA, April 30 - May 1, 2006. pages 43-48, ACM, 2006. [doi]
Abstract is missing.