Автоматизированное проектирование. Норенков И.П. - 76 стр.

 5@!"! 3                                 %!#*%!#&F*:,$*     $I*:+*F*)&* !)!@&'! +($*,#)KH (*L*)&M

      Для простейшей схемы (рис. 3.15,)) результаты                                               M:BD+=: 3.7
трехзначного моделирования представлены в табл. 3.7.
                                                       Значения                 a          B          y
       Динамический риск сбоя иллюстрируют
схема и временные диаграммы рис. 3.16. Сбой исходные                         1         0           0
выражается в появлении вместо одного пере- промежуточные                     ⊗         ⊗           ⊗
пада на выходе, что имеет место при правиль-
ном функционировании, нескольких перепа- итоговые                            0         1           0
дов. Обнаружение динамических рисков сбоя
также выполняют с помощью двукратного решения
уравнений модели, но при использовании пятизначного
алфавита с множеством значений {0, 1, ⊗, α, β}, где α
интерпретируется как положительный перепад, β — как
отрицательный перепад, остальные символы имеют
прежний смысл. В отсутствие сбоев последовательности
значений переменных в исходном, промежуточном и
итоговом состояниях могут быть такими: 0-0-0, 1-1-1,
                                                                 %+,. 3.)6. Динамический риск сбоя
0-α-1, 1-β-0. Последовательности 0-⊗-1 или 1-⊗-0 ука-
зывают на динамический риск сбоя.
       Трехзначный алфавит можно использовать и в асинхронных моделях. Пусть в модели y(t+tзд) =
f(X(t)) в момент времени t1 входы X(t1) таковы, что в момент времени t1+tзд происходит переключение
выходного сигнала y. Но если учитывать разброс задержек, то tзд принимает некоторое случайное зна-
чение в диапазоне [tзд min, tзд max] и, следовательно, в модели в интервале времени от t1+tзд min до
t1+tзд max сигнал y должен иметь неопределенное значение Д. Именно это и достигается с помощью
трехзначного асинхронного моделирования.
       E.-451 D4@+A.,74@4 /45.D+849:0+>. В отношении асинхронных моделей возможны два ме-
тода моделирования — пошаговый (инкрементный) и событийный.
       В 0#>)8#(#/ /$&#-$ время дискретизируется и вычисления по выражениям модели выполня-
ются в дискретные моменты времени t0, t1, t2... и т.д. Шаг дискретизации ограничен сверху значением
допустимой погрешности определения задержек и потому оказывается довольно малым, а время ана-
лиза значительным.
       Для сокращения времени анализа используют +#2.&';*.; /$&#-. В этом методе событием на-
зывают изменение любой переменной модели. Событийное моделирование основано на следующем
правиле: #2")A$*'$ % /#-$4' 4#8'1$+%#8# B4$/$*&) 0"#'+,#-'& -%# ( &#/ +471)$, $+4' *) (,#-),
B# B4$/$*&) 0"#'6#>4# +#2.&'$. В сложных логических схемах на каждом такте синхронизации
обычно происходит переключение всего лишь 2-3% логических элементов и, соответственно, в собы-
тийном методе в несколько раз уменьшаются вычислительные затраты по сравнению с пошаговым
моделированием.
       Методы анализа синхронных моделей представляют собой методы решения систем логических
уравнений. К этим методам относятся метод простых итераций и метод Зейделя, которые аналогичны
одноименным методам решения систем алгебраических уравнений в непрерывной математике.
       Применение этих методов к моделированию логических схем удобно проиллюстрировать на примере схемы триг-
гера (см. рис. 3.14). В табл. 3.8 представ-                                                       M:BD+=: 3.8
лены значения переменных модели в ис-
ходном состоянии и после каждой итера- Итерация                              R    S   C     B   Q    P    A
ции в соответствии с методом простых Предыдущее состояние                    0    0   0     1   1    0    1
итераций. В исходном состоянии задают
начальные (возможно произвольные) зна- Исходные значения (итерация 0)        0    1   1     1   1    0    1
чения промежуточных и выходных пере- Итерация 1                              0    1   1     1* 1     0    0*
менных, в данном примере это значения
                                            Итерация 2                       0    1   1     1   1    1* 0
переменных B, Q, P, A, соответствующие
предыдущему состоянию триггера . Но- Итерация 3                              0    1   1     1   0* 1      0
вое состояние триггера должно соответ-
                                            Итерация 4                       0    1   1     1   0    1* 0
ствовать указанным в таблице изменив-

 &.+.)$(*),$" . !"#$%!#&'&($"!))$*               +($*,#&($"!)&*                                           76