Vasudevan S. Effective functional verification : principles and processes / S. Vasudevan, 2006 r=on-line. - Текст : электронный.