Jha N.K. Testing and reliable design of CMOS circuits / N.K.Jha,S.Kundu, 1990. - XII,231 p. p. - Текст : непосредственный.
Kundu S. High-Level Verification : Methods and Tools for Verification of System-Level Designs / by Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta., 2011 r=on-line (Введено оглавление). - Текст : электронный.