681.326.7. 681.325.6 logické obvody. sekvenčné obvody. testovanie. CADGhosh, Abhijit Sequential logic testing and verification / [aut.] Ghosh,Abhijit; Devadas,Srinivas; Newton,A.Richard. -- Boston : Kluwer Academic Publishers, 1992. -- 214 s. -- ISBN : 0-7923-9188-8. Devadas, Srinivas. Newton, A.Richard