Improving verification and validation in hardware/software environments. Introduction to the workshop | IEEE Conference Publication | IEEE Xplore