 |
РУБРИКИ |
Разработка методики программного тестирования цифровых устройств с помощью программного пакета Design Center |
РЕКОМЕНДУЕМ |
||
|
Разработка методики программного тестирования цифровых устройств с помощью программного пакета Design CenterРазработка методики программного тестирования цифровых устройств с помощью программного пакета Design CenterThe abstract The diploma text contens: pages – pictures – additions – Key words: testing, model, synchronizing device, demultiplexer, register, counter, gate, D-flip, T-flip. The aim of this work is developing program testing method for digital devices. The draughts of the structural electrical schemes of demultiplexer, counter, register and synchronizing device are the add of this work. Реферат Пояснительная записка содержит: страниц – рисунков – приложений – Ключевые слова: тестирование, модель, синхронизирующее устройство, демультиплексер, регистр, счетчик, вентиль, D-триггер,T-триггер. Целью данной работы является разработка методики программного тестирования цифровых устройств. Прилагаются: чертежи структурных электрических схем демультиплексера, вычитающего счетчика, регистра, синхронизирующего устройства. 1 Введение В настоящее время промышленностью выпускаются интегральные схемы сложные по своей структуре и функциональному предназначению. В сязи с этим возникает проблема контроля выхода годных интегральных схем и выявления причин возникающих неполадок. Затраты на тестирование сложных интегральных схем с привлечением контрольно-измерительной аппаратуры может во много раз превышать стоимость самой интегральной схемы из-за длительности процесса тестирования и сложности его реализации. Тестирование на модели разрабатываемой интегральной схемы существенно удешевляет процесс тестирования и сокращает время его осуществления. На основе проекта интегральных схем, разработанного на этапах
логического и топологического проектирования, создаются реальные их образцы В общем случае при тестировании на математической модели или
реальном образце обнаруживаются неисправности интегральной схемы путем
анализа состояний ее выхода на определенных наборах входных сигналов. Различают два вида тестирования интегральных схем: а) функциональное тестирование, осуществляемое на всех этапах разработки логической схемы; б) функциональный контроль правильности работы образцов интегральных схем после их изготовления. 2 Возможности PSpice как среды моделирования и тестирования цифровых устройств Программа PSpice составляет основу системы Design Center, поэтому рассмотрим ее возможности подробнее. Программа PSpice позволяет проводить следующие виды анализа: - расчет режима цепи по постоянному току (проводится вначале моделирования перед выполднением других видов анализа без указания специальных деректив; - многовариантный расчет режима по постоянному току (.DС); - многовариантный параметричный анализ (.STEP); - расчет малосигнальных чувствительностей в режиме по постоянному току (.SENS); - расчет малосигнальных передаточных функций в режиме по постоянному току (.TF); - расчет частотных характеристик линеаризованной цепи (.AC); - расчет спектральной плотности внутреннего шума (.NOISE); - расчет переходных процессов при воздействии сигналов различной формы (.TRAN); - спектральный анализ (разложение в ряд Фурье результатов расчета переходного процесса) (.FOUR); - статистический расчет по методу Монте-Карло (.MC); - расчет на наихудший случай (расчет чувствительности схемы при
выбранном виде анализа (.DC, .AC, .TRAN) к параметрам моделей элементов и
основанный на этом анализе расчет наихудшего случая по заданному критерию) 3 Тестирование цифровых устройств на примере синхронизирующего устройства 3.1 Описание и принцип действия тестируемого устройства Рассматриваемое синхронизирующее устройство должно под действием комбинации входных сигналов обеспечивать работу в трех режимах: - режим линии задержки цифровых сигналов; - режим формирования пачек импульсов цифровых сигналов; - режим делителя частоты цифровых сигналов. Число, указывающее количество импульсов, на которое необходимо задержать сигнал, количество импульсов в пачке и число, на которое необходимо разделить частоту сигнала, указывается на входе синхронизирующего устройства. Для создания модели всего устройства и тестирования его работы, необходимо создать модели функциональных узлов моделируемого устройства. Моделируемое синхронизирующее устройство можно разбить на четыре фунциональных модуля: а) управляющая схема. Основная задача этого модуля – подача синхроимпульса на один из функциональных модулей для обеспечения заданного режима работы. б) линия задержки. Основная задача линии задержки – задержка сигнала на число импульсов определяемое управляющей схемой. в) формирователь пачек импульсов. Основная задача – формирование пачки импульсов число которых задается управляющей схемой. г) делитель частоты. Основная задача делителя частоты – формирование сигнала частота которого меньше входного в заданное управляющей схемой число раз. Таким образом, моделируемое устройство полностью состоит из цифровых компонентов. Это в некоторой степени упрощает создание и тестирование моделей. Необходимо создать программные модели устройств, протестировать каждую модель, а затем, при положительных результатах тестирований, произвести тестирование всего устройства в целом. При программном тестировании созданных моделей необходимо учитывать возможности используемой вычислительной техники (например при задании шага сигнала). Для демонстрации преимуществ метода программного тестирования цифровых устройств, можно протестировать синхронизирующее устройство в составе только управляющей схемы и формирователя пачек импульсов. 3.2 Моделирование цифровых компонентов 3.2.1 Общие сведения Моделирование может осуществляться с помощью библиотек логических примитивов созданных самим разработчиком или с помощью библиотек встроенных в программу PSpice. Рассмотрим первый способ. Любое цифровое устройство разрабатывается на основе элементной базы. OUTLD - выходная емкость в фарадах (по умолчанию 0); DRVH - выходное сопротивление высокого уровня в омах (по умолчанию 50 Oм); DRVL - выходное сопротивление низкого уровня в омах (по умолчанию 50 Ом); 3.2.2 Модели источников логических сигналов При моделировании цифровых устройств используются модели постоянных источников логических сигналов и модели генераторов входных логических сигналов. Модель источника постоянного логического сигнала описывается следующим образом: U () + + Для моделей цифровых устройств с определенной элементной базой узлы питания могут описываться определенными операторами в теле модели источника. Для моделей с элементной базой на КМОП-логике узлы питания описываются следующим образом: - узел питания “+” – $ g_cd4000_vdd; - узел питания “-“ – $ g_cd4000_vss; Модель генератора входных логических сигналов описывается следующим образом: В цифровом синхронизирующем устройстве, рассматриваемом в данной работе, используются только вентили с двумя состояниями. Рассмотрим модели используемых в работе вентилей. Модель с двумя состояниями имеет следующий вид: U [(параметры)] + + + . Форма описания модели динамики: .model ugate[(параметры модели)]. В соответствии с рисунком Б.1 приложения Б в данной работе используются следующие модели вентилей: INV- инвертор; INVA - сборка инверторов; AND - вентиль “И”; ANDA - сборка вентилей “И”; NAND - вентиль “И-НЕ”; NANDA- сборка вентилей “И-НЕ”; OR- вентиль “ИЛИ”; NOR - вентиль “ИЛИ-НЕ”; NORA - сборка вентилей “ИЛИ-НЕ ”;
Результат тестирования регистра приведен в приложении В. Электрическая структурная схема регистра RG1 приведена в комплекте чертежей. Регистр является регистром с паралельным приемом и выдачей информации. 3.2.6 Формирование модели управляющей схемы, входящей в состав цифрового синхронизирующего устройства. Тестирование модели управляющей схемы Рассмотренные ранее модели цифровых устройств комбинационного и
последовательностного типа позволяют построить модель одного из
функциональных узлов тестируемого в данной работе синхронизирующего
устройства и протестировать его функционирование. Функционируемой и
тестируемой на данном этапе моделью функционального узла является
управляющая схема. Ее задачей является перенос синхронизирующего сигнала со
входа 06 на один из выходов демультиплексера, при соответствующих сигналах
на входах 01 и 02 регистра RG1 и запись двоичного числа в счетчик СТ1. Ниже приведена модель управляющей схемы и результат ее тестирования: u1 inva(2) up um 09 10 out1a out2a delay1 in_out u2 anda(3,3) up um 10 03 out1a 09 out2a 03 03 09 10 4 5 Результат тестирования управляющей схемы приведен в приложении Г. 3.2.7 Создание модели формирователя пачек импульсов, входящего в состав цифрового синхронизирующего устройства. Тестирование модели формирователя пачек импульсов. Основной задачей формирователя пачек импульсов является форми-рование сигнала в состав которого входят импульсы, число которых задается управляющей схемой. В основе формирователя пачек импульсов лежит вычитающий счетчик СТ1, построенный на Т-триггерах. В библиотеке PSpice нет модели Т-триггера, так как данный тип триггера может быть реализован на основе D-триггера. Данная реализация производится путем соединения инвертирующего выхода D-триггера с его D-входом. Таким образом получается триггер с одним входом и состояние триггера меняется с уровнем сигнала на его входе. Ниже приведена модель Т-триггера:
u1 dff(1) up um R S c inv out inv delay source Результат тестирования Т-триггера приведен в приложении Г. .model dinamics ueff 3.2.8 Объединение моделей функциональных узлов и тестирование работы всей модели синхронизирующего устройства Тестирование всей модели синхронизирующего устройства можно осуществить двумя способами. Первый способ заключается в непосредственном соединении всех разработанных моделей, входящих в устройство и представить модель устройства ввиде одной программы. Второй способ заключается в создании библиотечных файлов таких логических элементов, как регистр, демультиплексер и счетчик. При составлении модели, в теле основной программы необходимо вставить операторы вызывающие нужные библиотечные файлы. Первый способ необходим при создании и тестировании моделей несложных устройств, в которых модели различных логических элементов используются не чаще одного раза. Второй способ позволяет избежать громоздких описаний моделей сложных устройств, в которые входит большое количество одинаковых элементов. В данной работе удобнее использовать первый способ. Программная модель синхронизирующего устройства приведена ниже. Приложение Б Виды используемых в работе вентилей и тестирование работы демультиплексера INV AND NAND OR NOR Рисунок Б.1 – Стандартные вентили используемые в данной работе [pic] Рисунок Б.2 – Результат тестирования модели демультиплексера Приложение В Результат тестирования регистра и пример триггеров с динамическим управлением JKFF DFF а) б) а – JK - триггер; б – D - триггер; Рисунок В.1 – Триггеры с динамическим управлением. [pic] Рисунок В.2 – Тестирование работы регистра. Приложение Г Результаты тестирования управляющей схемы и Т-триггера [pic] Рисунок Г.1 – Тестирование управляющей схемы. [pic] Рисунок Г.2 – Тестирование Т-триггера. Приложение Д Результат тестирования формирователя пачек импульсов и всего синхронизирующего устройства [pic] Рисунок Д.1 – Тестирование формирователя пачек импульсов. [pic] Рисунок Д.2 – Результат тестирования синхронизирующего устройства. Министерство общего и профессионального образования Российской Федерации Новгородский государственный университет имени Ярослава Мудрого Кафедра физики твёрдого тела и микроэлектроники | УТВЕРЖДАЮ | Задание на выпускную работу на получение академической степени бакалавра техники и технологий Студенту группы 5031 Хаимову Даниилу Исхаковичу 1. Тема работы: Разработка методики программного тестирования цифровых
устройств с помощью программного пакета Design Center Сапожников А.А. (норм контроль) | Задание выдал (руководитель) | Задание принял к | Новгород Великий 1999 -----------------------
S T C S T C S T
|
|
© 2010 |
|