Sandip Ray, Jayanta Bhadra: Innovative practices session 7C: Verification and testing challenges in high-level synthesis. VTS 2010: 250