Синтез тестов

Другим способом повышения эффективности является параллельное моделирование, основанное на том, что для представления логической переменной достаточно k разрядов, где k= в двузначном алфавите и в трехзначном. Тогда моделирование одной и той же схемы можно выполнять одновременно для m sjk различных наборов входных сигналов, где s — количество разрядов в разрядной сетке ЭВМ. Подобное параллельное моделирование эффективно используется при синтезе тестов для проверки логических схем, где требуется определить реакцию схемы на большое количество входных тестовых наборов. [c.253]

В детерминированных методах синтеза тестов для каждой неисправности из заданного списка подбирают свой входной набор. Одним из наиболее распространенных алгоритмов, реализующих детерминированный подход к синтезу тестов, является алгоритм Рота. В соответствии с этим алгоритмом для очередной неисправности, связанной с элементом Э тестируемой схемы, подбираются входные для Э воздействия, такие что выходы исправного и неисправного элементов Э будут иметь неодинаковые значения. После этого ищется путь транспортировки неисправности (т. е. путь передачи информации о наличии неисправности) к выходам схемы, которые доступны для наблюдения. Поиск [c.259]

В программах синтеза тестов обычно используют комбинирование вероятностных и детерминированных методов. С помощью первых генерируется и анализируется некоторое заранее заданное число наборов. Если полнота теста после этого недостаточна, то выбирают неисправности, не выявляемые уже полученными наборами, и для этих неисправностей ищут входные наборы детерминированным методом. [c.260]

Но наиболее актуальны усилия по созданию и развитию формальных методов структурного синтеза. Как правило, в автоматическом режиме удается решать лишь немногие задачи этого типа. К ним относятся, например, задачи коммутационно-монтажного проектирования печатные плат, проектирования топологии матричных БИС, синтеза тестов для цифровых устройств умеренной сложности. Однако практические потребности в оперативном проектировании разнообразных устройств вычислительной техники [c.383]

Некоторые проектирующие подсистемы ПО для решения задач высокой размерности требуют больших затрат машинного времени и ОП, например задачи анализа сложных динамических объектов, их параметрическая оптимизация, синтез тестов для цифровых устройств, трассировка печатных плат и т. д. Использование интерактивного режима на этапе счета таких задач нецелесообразно, но он необходим на подготовительных стадиях и при интерпретации результатов. Для таких случаев в составе ПО САПР необходимо иметь обслуживающую подсистему образования фоновых заданий. Если САПР функционирует на вычислительной установке, имеющей связь с другими ЭВМ, то такая подсистема должна обеспечивать возможность передачи фоновых заданий на одну из этих ЭВМ. После завершения фонового задания его результаты могут быть просмотрены и обработаны пользователем средствами проектирующей подсистемы ПО, породившей это задание. [c.30]

После получения результатов схемного проектирования приступают к конструкторско-технологическому проектированию, синтезу тестов и окончательной верификации принятых проектных решений. Укрупненная типичная последовательность проектных процедур на маршруте проектирования СБИС показана на рис. 1.87. [c.127]

Синтез тестов - проектная процедура получения тестов, те. наборов кодов для совокупности элементарных проверок [c.314]

После получения результатов функционально-логического проектирования приступают к конструкторско-технологическому проектированию, синтезу тестов и окончательной верификации принятых проектных решений. [c.224]

Другой пример алгоритмов перебора, применяемых в САПР,— вероятностные алгоритмы синтеза тестов для цифровой аппаратуры. [c.60]

Синтез тестов осуществляется структурными или абстрактными методами. [c.111]

Алгоритмы синтеза и анализа тестов. Наиболее развиты алгоритмы синтеза тестов для комбинационных схем, реализующие структурные методы выявления одиночных константных неисправностей. Различают вероятностные и детерминированные методы синтеза тестов. [c.123]

Детерминированные методы синтеза тестов позволяют находить векторы входных воздействий для каждой неисправности на основе исследования путей прохождения сигналов в схеме от входов к неисправному элементу и от него к выходам. Характерные примеры реализации детерминированных методов — алгоритмы булевых разностей и Рота. [c.126]

Сформулируйте условия наблюдаемости и управляемости в задачах синтеза тестов для обнаружения константных неисправностей. [c.127]

Примеры проектных процедур, в которых нужно решать системы логических уравнений в общей форме синтез тестов, анализ перекрестных помех в многослойных печатных платах или БИС, определение режимов пиковых нагрузок на источники питания в цифровой аппаратуре и др. [c.269]

Основные задачи функционального проектирования следующие разработка структурных схем, определение требований к выходным параметрам анализ и формирование ТЗ на разработку отдельных блоков ЭВА синтез функциональных и принципиальных схем полученных блоков контроль и выработка диагностических тестов проверка работоспособности синтезируемых блоков расчеты параметров пассивных компонентов и определение требований к параметрам активных компонентов формулировка ТЗ на проектирование компонентов выбор физической структуры, топологии компонентов расчеты параметров диффузионных профилей и полупроводниковых компонентов, электрических параметров, параметров технологических процессов эпитаксии, диффузии, окисления и др. вероятностные требования к выходным параметрам компонентов. [c.10]

Основные задачи функционально-логического проектирования цифровой аппаратуры разработка алгоритмов, реализующих воплощаемые в аппаратуре функции, синтез и верификация функциональных и принципиальных схем, контролирующих и диагностических тестов. [c.99]

На этапах 5, 6, 7 осуществляется отладка, цель которой — обнаружение и устранение ошибок, допущенных на этапах синтеза ПО. Отладка выполняется с помощью процедур выбора тестов и верификации. Тесты представляют собой контрольные задачи с известными правильными результатами решения. Поэтому верификация программ путем исполнения тестов на отлаживаемой программе позволяет при несовпадении полученных результатов с [c.285]

Что касается процесса перевода кода / ++ на уровень RTL, даже если вы располагаете алгоритмом синтеза RTL из / ++, ваш набор тестов, как правило, будет содержать языковые конструкции, неподдающиеся синтезу, т. е. придётся вернуться назад и выполнить эти операции вручную. [c.196]

Для синтеза тестов применяют вероятностные и детерминированные методы. В вероятностных методах наборы генерируются с помощью датчиков случайных чисел. Основные затраты машинного времени приходятся при этом на анализ проверяющих возможностей генерируемых наборов. Анализ каждого набора состоит в расчете реакции на воздействие Х как исправного блока, так и всех его возможных разновидностей. Если блок состоит из N элементов, то имеем 3N таких разновидностей и общее число eapriaii-тов моделирования блока окажется пропорциональным произведению sN, где S — число проверяемых входных наборов. Практика показывает, что при заданной полноте теста s зависит от yv и в результате затраты машшчного времени оказываются пропорциональными Nгде а = 2-ьЗ. [c.259]

Результаты логического синтеза в виде VHDL- или Verilog-опи-сания используются далее для синтеза тестов и поступают на этап конструкторского проектирования СБИС. [c.133]

Иначе обстоит дело с неэффективными алгоритмами. Так, в случае сложности 2 для одного и того же процессорного времени размер задачи увеличивается только на Ig / Ig 2 единиц. Следовательно, переходя от ЭВМ с Б = 1 Гфлопс к суперЭВМ с Б = 1 Тфлопс, можно увеличить размер решаемой задачи только на 10, что совершенно недостаточно для практических задач. Действительно, в таких задачах, как, например, синтез тестов для БИС, число входных двоичных переменных может составлять более 100 и поэтому полный перебор всех возможных проверяющих кодов потребует выполнения более 2 вариантов моделирования схемы. [c.181]

Книга освещает современное состояние нового важного технического направления — автоматической диагностики неисправностей цифровых ЭВМ. В ней рассмотрены различные методы синтеза тестов и вопросы моделирования отказов в логических схемах вычислительных машин. Подробно описана структура программы Последовательный анализатор , генерирующей тесты, а также методы обнаружения неисправностей при помощи специальных диагностических словарей. Книга служит хорошим дополнением к монографии Ф. Селлерса и др. Методы обнаружения ошибок в работе ЭЦВМ , выпущенной в русском переводе ( Мир , 1971). Предназначена для инже-неров-программистов, занятых проектированием тестов для дискретных схем автоматики и вычислительной техники, специалистов по ЭЦВМ. Может быть использована в качестве учебного пособия для студентов технических вузов. [c.208]

В маршрутах проектирования БИС и СБИС к числу основных проектных процедур относятся верификация логических и функциональных схем, синтез и анализ тестов. В этих процедурах требуется многократное выполнение моделирования логических схем. Однако высокая размерность задач логического моделирования (СБИС насчитывают.десятки—сотни тысяч вентилей) существенно ограничивает возможности многовариантного анализа. Так, современные программы анализа логических схем на универсальных ЭВМ могут обеспечить скорость моделирования приблизительно 10 вентилей в секунду (т. е. на анализ реакции схемы из 10 вентилей на один набор входных воздействий затрачивается 1 с машинного времени), что значительно ниже требуемого уровня. Преодоление затруднений, обусловливаемых чрезмерной трудоемкостью вычислений, происходит в двух направлениях. Первое из них основано на использовании общих положений блочно-иерархического подхода и выражается в переходе к представлениям подуровня регистровых передач, рассмотренным в 4.7. Второе направление основано на применении специализированных вычислительных средств логического моделирования, называемых спецпроцессорами или машинами логического моделирования (МЛМ), Важно отметить, что появление СБИС не только порождает потребности в таких спецпроцессорах, но и обусловливает возможности их создания с приемлемыми затратами. Разработанные к настоящему времени МЛМ функционируют совместно с универсальными ЭВМ и обеспечивают скорость моделирования 10 —10 вентилей в секунду. [c.254]

Очевидно, что тест, в который включены всевозможные комбинации значений входных сигналов, является полным. Однако громадное число таких комбинаций, равное 2" в комбинационном блоке и 2 +<г в последовательностном, делает нереальным применение подобных полных тестов (здесь q — число элементов памяти в блоке). Поэтому возникают задачи синтеза и анализа тестов. При синтезе гене- [c.258]

Актуальность проблемы тестирования обусловлена ограниченными управляемостью и наблюдаемостью СБИС, поскольку при десятках-сотнях миллионов транзисторов на кристалле имеется лишь несколько сотен внешних выводов. Синтез и анализ тестов занимают до 35 % времени в цикле проектирования СБИС, и, несмотря на такие затраты, удается разрабатывать тесты с приемлемой полнотой обнаружения константных неисправностей только для комбинационных схем. Поэтому проблема тестируемости СБИС сохраняет постоянную актуальность. [c.133]

Рассмотренные методы анализа и. синтеза дщгамнческих тестовых воздействий доказывают возможность создания достаточно эффективных алгоритмов построения тестов для динамической диагностики ЦС, позволяюще1" существенно улучшить качество диагностики ЦС. [c.66]

Актуальность проблемы тестирования обусловлена сравнительно малым числом внешних выводов СБИС, т. е. ограниченными управляемостью и наблюдаемостью СБИС. Отметим также, что синтез и анализ тестов занимают до 35 % времени в цикле проектирования СБИС и, несмотря на такие затраты, удается разрабатывать тесты с приемлемой полнотой обнаружения константных неисправностей только для комбинацио1Шьгх схем. [c.227]

Примеры задач структурного синтеза. Типичные задачи структурного синтеза в маршрутах проектирования ЭВМ и БИС, поддающиеся формализации и потому выполняемые с помощью ЭВМ синтез комбинационных логических схем, формирование контролирующих и диагностических тестов, компоновка и размещение конструктивов одного уровня (ранга) в конструктивах соседнего старшего уровня, проведение электрических межсоединений в кристаллах БИС, между разлитаыми конструктивами в стойках РЭА и на печатных платах, синтез маршрутной технологии сборки конструктивных узлов РЭА. Как правило, это комбинаторные задачи, относящиеся к выбору технических решений и третьему уровню сложности. К числу формализуемых относится также задача изготовления конструкторско-технологической документации. [c.53]

Разработка тестов включает задачи синтеза и анализа. Синтез гесга —формирование элементарных проверок s . Анализ теста — определение его характеристик. Важнейшими характеристиками качества теста являются глубина диагностирования, полнота и длина теста. [c.110]

При синтезе диагностических тестов результаты генерации и анализа входных наборов представляют в форме диагностической таблицы. Каждая строка этой таблицы соответствует одной из неисправностей, а каждый столбец —очередному входному набору. Элемент диагностической таблицы йц=, если -я неисправность обнаруживается на /-м наборе, иначе с1ц = 0. По этой таблице устанавливаются полнота теста (в строках невыявляемых неисправностей оказываются одни нули) и диагностические возможности по обнаружению места неисправности (число различаемых подмножеств неисправностей равно числу различаемых строк диагностической таблицы). [c.126]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...