О системе программного моделирования динамического поведения переключательных схем с задаваемой точностью | Вестн. Том. гос. ун-та. 2000. № 271.

О системе программного моделирования динамического поведения переключательных схем с задаваемой точностью

Рассматривается задача моделирования и анализа динамического поведения БИС на транзисторном уровне представления. Моделью БИС служит переключательная схема на полурешетках проводимости и состояний. Описываются алгоритмы и программы имитационного моделирования и анализа схемы с любой наперед зад анной точностью.

About the program system for simulation of dynamic behavior of switching circuits with prescribed accuracy.pdf 1. Основные понятия Переключательная схема служит моделью больших интегральных схем (БИС) и определяется в [1] как тройка конечных множеств (X, Z, Zq), где X -множество элементов схемы (которые, в свою очередь, являются схемами); Z0cZ - множество полюсов схемы (среди которых выделяются полюсы источника питания VDD и GND и входные полюсы, через которые на схему подаются воздействия извне); Z - множество узлов схемы, представляющее собой разбиение на множестве полюсов всех ее элементов. Таким образом, схемы имеют иерархическую структуру, на самом нижнем уровне которой находятся базисные элементы - транзисторы различных типов, резистор. Транзистор представляет собой элемент с управляемой проводимостью и задается монотонной функцией проводимости p-fi.s); здесь s - состояние затвора транзистора; р - проводимость между его истоком и стоком, реР, seS\ Р и S - полурешетки проводимостей и состояний соответственно. В общем случае Р={0,\,Х, 0', Г,Л4, £}; здесь 0, I, Х- точки полурешетки, представляющие собой проводимости соответственно разомкнутой, замкнутой и резистивной цепи; остальные элементы - в подходящей степени неопределенные значения: 0'=1+А, ГЮ+ЛГ, ЛГ=0+1, £=0+1+Л" (полная неопределенность). Для некоторых классов схем достаточно рассматривать полурешетку P'qP; например, для КМОП-схем /"={0,1, X}. Состоянием узла является пара проводимостей от этого узла до полюсов источника питания, т.е. в общем случае При этом |S1=(/)|2=49. Однако в ряде случаев нет необходимости различать все состояния; например, те из них, для которых совпадают значения функций проводимости всех базисных элементов, физически эквивалентны. Информация о неразличимых состояниях задается в виде эквивалентности R на множестве точек полурешетки Р2, т.е. на множестве {00, 0Х, 01, AD, XX, XI, 10, IX, 11}. Затем по эквивалентности R строится полурешетка , элементами которой являются интервалы, совпадающие с объединениями некоторых смежных классов эквивалентности R. является адекватной моделью Р2 (по теореме 1.4 в [1]), и ||2|. Замена полурешетки Р2 на позволяет понизить мощность алфавита состояний без потери адекватности моделирования; R при этом играет роль точности модели. Например, для R, заданной классами {00}, {AD, 10}, {11, IX), {01, А1>, {0Х, XX), получается следующая полурешетка : {00, О'О, 10', 1'1, l'X, Е0, 1'0', £0', ££}. Резистор представляет собой элемент с двумя полюсами и постоянной проводимостью между ними, равной X. Назовем полным состоянием схемы набор состояний всех ее узлов, а входным состоянием - набор состояний всех входных полюсов. Так как каждое полное состояние содержит в себе и входное состояние, то будем обозначать: r=aq; г - полное состояние, а - соответствующее ему входное состояние, q - набор состояний всех остальных (не являющихся входными полюсами) узлов. Полное состояние г называется устойчивым, если оно соответствует вычисленным по нему полным про-водимостям в схеме, т.е. при неизменных состояниях входных полюсов схема остается в устойчивом состоянии сколь угодно долго. Назовем точкой монотонности схемы пару (Ь ,/■), где Ь - входное состояние; r=aq - полное устойчивое состояние, если а

Ключевые слова

Авторы

ФИООрганизацияДополнительноE-mail
Панкратова Ирина АнатольевнаТомский государтсвенный университетстарший преподаватель кафедры защиты информации и криптографии факультета прикладной математики и кибернетикpank@fpmk.tsu.ru
Всего: 1

Ссылки

Агибалов Г.П. Дискретные автоматы на полурешетках. Томск: Изд-во Том. ун-та, 1993. 227 с.
Киносита К., Асада К., Карацу О. Логическое проектирование СБИС: Пер. с япон. М.: Мир, 1988. 309 с.
 О системе программного моделирования динамического поведения переключательных схем с задаваемой точностью | Вестн. Том. гос. ун-та. 2000. № 271.

О системе программного моделирования динамического поведения переключательных схем с задаваемой точностью | Вестн. Том. гос. ун-та. 2000. № 271.

Полнотекстовая версия