Efficient pattern-based verification of connections to IP cores | IEEE Conference Publication | IEEE Xplore