%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