3 Lee, Ruby B. Yang, Xiao Shi, Zhijie Jerry 2004 Validating Word-oriented Processors for Bit and Multi-Word Operations Proceedings of the Asia-Pacific Computer Systems Architecture Conference (ACSAC 2004) Beijing, China 473-488 Sept. 2004 http://palms.ee.princeton.edu/PALMSopen/lee04validating.pdf