Metamodeling Driven IP Reuse for System-on-a-Chip Integration and Verification | Artech books | IEEE Xplore