Verification techniques for system-level design - Fujita, Masahiro, Ghosh, Indradeep; Prasad, Mukul (Amsterdam Elsevier, 2008)
Keywords: System On A Chip -- Testing. 2.Integrated Circuits -- Verification. 3.Formal Method (Computer Science)