БГУИР---2012 / Лекции в БГУИР / FK6

1

Методы верификации проектов СБИС

Достоинства метода Эйхельбергера.

1)Отсутствует необходимость в знании исходного состояния линий схемы, как в случае двоичного моделирования.

2)Возможные колебательные процессы выявляются автоматически в виде неустойчивых внутренних переменных.

3)Автоматически выявляются состязания сигналов. 4)При выполнении процедур 1 и 2 этапов может быть сокращено число вычислений элементов, состояния которых равно ½ для 1 этапа и 1 или 0 для 2 этапа.

Недостатки метода Эйхельбергера.

При моделирования цифровых устройств со сходящимися ветвлениями метод допускает появление

ошибок.

Физика компьютеров 2011 Л.А. Золоторевич

3

Переход от структурного автомата (логической сети) к абстрактному конечному автомату

(A, a0,X,Z, , )

A={a0,a1,…,aN} – конечное мно

внутренних состояний автомата; X={x1,x2,…,xK} – конечное мно

входных состояний автомата; Z={z1,z2,…,xL} – конечное мно

выходных состояний автомата;

- функция переходов;

задает отображение пересечения множеств А и Х на множестве А;

показывает, как автомат под воздействием различных состояний входов переходит из одного состояния в другое.

- функция выходов;задает отображение пересечения множеств А и Х на

показывает, как в зависимости от исходных внутренних

4

Переход от структурного автомата (логической сети) к абстрактному конечному автомату

a(t+1)= [a(t),x(t)]; Модель Z(t)= [a(t),x(t)],

a(t+1)= [a(t),x(t)]; Модель Z(t)= [a(t)],

Физика компьютеров 2011 Л.А. Золоторевич

6

Переход от структурного автомата (логической сети) к абстрактному конечному автомату

Физика компьютеров 2011 Л.А. Золоторевич

7

Переход от структурного автомата (логической сети) к абстрактному конечному автомату

Физика компьютеров 2011 Л.А. Золоторевич

8

Моделирование функциональных блоков в

троичном алфавите

При троичном моделировании цифровых устройств по методу Эйхельбергера на вентильном уровне было показано, что некоторые виды цифровых структур со сходящимися ветвлениями могут моделироваться неверно.

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

распределением

Рассмотрим

таблица

Физика компьютеров 2011 Л.А. Золоторевич

9

Моделирование функциональных блоков в троичном алфавите

Состояние триггера идентифицируется двумя переменными, обозначающими состояние основного и вспомогательного триггеровФизика компьютеров. 2011 Л.А.

Золоторевич

10

Моделирование функциональных блоков в троичном алфавите

Физика компьютеров 2011 Л.А. Золоторевич