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

21

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

Метод Эйхельбергера моделирования цифровых структур

Метод Эйхельбергера основан на применении троичной алгебры.

Моделирование схемы выполняется в 2 этапа. На первом этапе схема моделируется в троичном

алфавите на переходном входном векторе, в котором изменяющиеся

вектор

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

22

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

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

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

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

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

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

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

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

24

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

(A, a0,X,Z, , )

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

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

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

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

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

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

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

- функция выходов;

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

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

Физика компьютеров. 2010. Л.А.

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

25

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

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

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

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

27

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

Физика

Золоторевич

28

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

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

29

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

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

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

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

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

Рассмотрим

таблица

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

30

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

Состояние триггера идентифицируется двумя переменными, обозначающими состояние основного и

вспомогательногоФизикатриггеровкомпьютеров. . 2010. Л.А.

Золоторевич