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