CARH: service-oriented architecture for validating system-level designs | IEEE Journals & Magazine | IEEE Xplore