Transaction Level Modeling for Early Verification on Embedded System Design | IEEE Conference Publication | IEEE Xplore