SoC Verification For The AXI Interconnect Based on The Static Fixed-Priority Scheduling Algorithm | IEEE Conference Publication | IEEE Xplore