Functional Verification of Pipelined Processors: A Case Study.

Prabhat Mishra Nikil D. Dutt Yaron Kashai

Published in: MTV (2004)

Keyphrases

functional verification
parallel architecture
parallel algorithm
parallel processing
case study
formal verification
efficient implementation
shared memory
parallel computing
hardware software
low cost
parallel programming
multi core processors