A timed HW/SW coemulation technique for fast yet accurate system verification