End-to-End Concolic Testing for Hardware/Software Co-Validation | IEEE Conference Publication | IEEE Xplore