IEE Colloquium on Verification of Hardware Software Codesign