Единственным регулярным методом решения является перебор, при реализации которого, хотя и используются эвристические способы ускорения, достичь положительных результатов для схем, содержащих десятки тысяч вентилей, не удается. Но десятки тысяч вентилей в настоящее время содержатся на одном кристалле. Таким образом, об автоматическом синтезе теста для современного устройства нечего и говорить. В то же время имеются достаточно эффективные приемы, базирующиеся на статистических методах исследования, которые позволяют оценить полноту рассматриваемого теста. Соединение этих приемов с системой быстрого моделирования больших схем, в которой используются физические модели сложных элементов и аппаратные средства имитации неисправностей, позволит, по-видимому, создать систему, которая в существенной степени могла бы помочь разработчику в диалоговом режиме синтезировать «полный» тест. Если при этом процесс синтеза тестов будет корректироваться экспертной системой, то, по-видимому, можно рассчитывать на успешное решение задачи синтеза «полного» теста для современных устройств.

Особо следует остановиться на функциях экспертной системы. Она должна накапливать данные о полноте проверки функционирования схемы, формировать советы разработчику о целесообразных направлениях поиска решения подзадач, указывать и пояснять причины возникающих противоречий при поиске решения, запоминать удачные промежуточные попытки. Следует отметить, что такая экспертная система могла бы быть полезной и на этапе отладки модели, до ее использования для синтеза теста. Ведь поиск ошибки в модели также может быть сведен к решению системы логических уравнений.

При использовании современной схемотехники проектируемая одним разработчиком схема - это завершенное устройство. Поэтому тест такой схемы - это программа или, как обычно говорят, программный тест устройства, который может быть использован на последующих этапах при изготовлении и эксплуатации. Целесообразно с помощью имеющейся модели и полученного теста разработать методику или руководство по отладке разработанного устройства. В таком руководстве должны содержаться временные диаграммы, таблицы сигналов, сигнатуры в существенных точках схемы, рекомендуемая последовательность отладки устройств.

Аппаратная часть системы моделирования должна обеспечивать подачу воздействий, фиксацию реакций. При этом для обеспечения универсальности должны быть удовлетворены весьма высокие требования к временным соотношениям подаваемых воздействий и обеспечена высокая частота фиксации реакций.