System-on-a-chip verification : METHODOLOGY AND TECHNIQUES. - Rashinkar, Prakash; Paterson, Peter; Singh, Lena (Kluwer Academic Publishers, 2001)