Validating Word-oriented Processors for Bit and Multi-Word Operations

Source:

Proceedings of the Asia-Pacific Computer Systems Architecture Conference (ACSAC 2004), Beijing, China, p.473-488 (2004)

URL:

http://palms.ee.princeton.edu/PALMSopen/lee04validating.pdf