The concurrent design and verification of hardware and software has become a reality thanks to a plethora of resources in ESL flows, emulation, modeling and standards, and more. There once was a time ...