@conference { ,
	title = {Validating Word-oriented Processors for Bit and Multi-Word Operations},
	year = {2004},
	month = {Sept. 2004},
	pages = {473-488},
	address = {Beijing, China},
	URL = {http://palms.ee.princeton.edu/PALMSopen/lee04validating.pdf},
	author = {Lee, Ruby B. and Yang, Xiao and Shi, Zhijie Jerry}
}