Design verification of a high density computer using IEEE 1149.1 | IEEE Conference Publication | IEEE Xplore