demo how to use HW/SW co-verification