A pattern-based verification approach for a multi-core system development.

Peng-Hua Chu, Nien-Lin Hsueh, Chien-Ching Lee, Min-Ju Chuang, Pao-Ann Hsiung, William C. Chu

Browse the full SAC paper archive.