http://www.computer-museum.ru/histussr/sm_cad.htm Н. Л. Прохоров, генеральный конструктор СМ ЭВМ (СССР); Б. Г. Сергеев, канд. техн. наук (СССР).
Архитектура высокопроизводительного комплекса моделирования цифровых схем.
http://citeseer.ist.psu.edu/context/263098/0 Выдержки из статей, часть которых посвящена проблемам генерации тестов. Среди них: "Combinational test generation using satisfiability", "A protocol test generation procedure", "Sequential Circuit Test Generation in a Genetic Algorithm framework", "Sequential Circuit Test Generation in a Genetic Algorithm framework" и т.д.