ги. Істотно нижче швидкодію алгоритмів двійкового моделювання з урахуванням номінальних затримок елементів. У багатьох випадках необхідно брати до уваги не тільки номінальні значення затримок, але і їх розкид. Швидкодія таких алгоритмів, як правило, нижче. Тому вибір методу моделювання часто є результатом компромісу між різними вимогами і залежить від класу аналізованих ДУ, виду розв'язуваної задачі, наявних у розпорядженні обчислювальних ресурсів і т.д.
При моделюванні вхідним, вихідним і внутрішнім змінним приписуються значення, які називаються символами. Сукупність різних символів, що використовуються при моделюванні, називається алфавітом моделювання. Моделлю сигналів називається відповідність між реальними сигналами і символами прийнятого алфавіту. Найпростішим і найбільш поширеним є двійковий алфавіт {0, 1}. Для обліку неоднозначності поведінки пристрою використовується трійчастий алфавіт {0, 1, x}, де символ x позначає невідоме або невизначене значення. У деяких завданнях зручно ставити у відповідність символу x також байдуже значення сигналу. Іншими словами, якщо деякої змінної приписаний символ x, сигнал на відповідному полюсі пристрою може бути дорівнює 0, або 1. При аналізі змагань використовується алфавіт або трійчастий, або з великим числом символів, що дозволяє уточнити характер перехідних процесів. p align="justify"> Необхідно відзначити, що із зростанням значности алфавіту швидко збільшується час моделювання, а також і необхідний обсяг пам'яті.
Елементом ДУ називається конструктивно і функціонально закінчена частина ДУ, що не підлягає подальшому розщеплення. Елементи ДУ представляються як структурними, так і функціональними моделями. Найпростіші логічні елементи (І, АБО, І-НЕ і т.п.) практично завжди представляються функціональними моделями. p align="justify"> Найпростішою моделлю елемента комбінаційного базису, використовуваної при двійковому моделюванні, є реалізована їм булева функція, задана за допомогою таблиці істинності або будь-яким іншим способом. При багатозначному моделюванні модель елемента задається за допомогою багатозначної таблиці істинності. В алгоритмах, що враховують тимчасові співвідношення між сигналами, моделі елементів можуть мати більш складний вид. Так, модель елемента може містити відомості про значення затримки при перемиканні з 0 в 1 і з 1 в 0 за яким входу (номінальні, мінімальні, максимальні значення затримки, можливо, розподіл ймовірності значення затримки), про імпульсну завадостійкості елемента і т.п.
Бібліотека елементів.
В описі схеми для кожного елемента вказується тільки його тип, але не описується функціонування. Це передбачає наявність в пам'яті ЕОМ спеціальної бібліотеки, в якій для кожного типу елемента наведено відомості, необхідні при моделюванні. При розробці структури бібліотеки елементів повинна бути забезпечена зручність роботи з нею (включення, виключення...
