Testability considerations in high-performance avionics processors | IEEE Conference Publication | IEEE Xplore