Developing a Bus Functional Model for APB slave using Universal Verification Methodology | IEEE Conference Publication | IEEE Xplore