A Trace Based Framework for Validation of SoC Designs with GALS Systems | IEEE Conference Publication | IEEE Xplore