State Pruning for Test Vector Generation for a Multiprocessor Cache Coherence Protocol - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ying Chen, Dennis Abts, David J. Lilja. State Pruning for Test Vector Generation for a Multiprocessor Cache Coherence Protocol. In 15th IEEE International Workshop on Rapid System Prototyping (RSP 2004), 28-30 June 2004, Geneva, Switzerland. pages 74-77, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Ying Chen' in GoogleThis author has not been identified. Look up 'Dennis Abts' in GoogleThis author has not been identified. It may be one of the following persons:

David J. Lilja

Look up 'David J. Lilja' in Google

runs on WebDSL