Streamlining HW-SW architecture development, verification and validation | IEEE Conference Publication | IEEE Xplore