A Trace-Based Framework for Verifiable GALS Composition of IPs | IEEE Journals & Magazine | IEEE Xplore