High-Speed Digital Bus Testing using Automatic Test- Markup Language (ATML) | IEEE Conference Publication | IEEE Xplore