Верификация принципальных и функциональных схем цифровой аппаратурыЛунтовский, Андрей Олегович199319 с.