БГУИР---2012 / Лекции в БГУИР / FK6
.ppt
11
Моделирование функциональных блоков в троичном алфавите
На основе двоичной таблицы переходов строится диаграмма альтернативных решений
Физика компьютеров 2011 Л.А. Золоторевич
12
Моделирование функциональных блоков в троичном алфавите
На основе двоичной таблицы переходов строится диаграмма альтернативных решений
Физика компьютеров 2011 Л.А. Золоторевич
13
Моделирование функциональных блоков в троичном алфавите
Диаграмма строится следующим образом:
В качестве начального состояния берем состояние общей неопределенности ABCD (нулевой уровень). Затем, подавая различные входные наборы для этого состояния (10, 14, 15, 16, 17), по двоичной таблице определяем множество возможных состояний и заносим его в дерево на следующий, первый, уровень. К примеру, при подаче входного набора 15=(101) множество состояний сократится до (A, B, C). Далее аналогично раскрываем все состояния первого уровня. Если некоторое состояние уже встречалось в дереве на более низком уровне, то его пропускают и переходят к следующему. Процесс построения заканчивается, когда больше не остается нераскрытых состояний или
присутствуют состояния, содержащие только один член
Физика компьютеров 2011 Л.А.
из алфавита состояния (A, D). Золоторевич
14
Моделирование функциональных блоков в
троичном алфавите
Расширяем двоичную таблицу переходов, включая в нее всевозможные входные троичные состояния.
Физика компьютеров 2011 Л.А. Золоторевич
15
Моделирование функциональных блоков в
троичном алфавите
Повышается
Моделирования.
Физика компьютеров 2011 Л.А. Золоторевич
16
Особенности современных цифровых систем
1)Большая размерность
2)Функциональная сложность
3)Отсутствие эффективных методов верификации проектов и генерации тестов
Порядка 1 млрд. транзисторов на кристалле
Физика компьютеров 2011 Л.А. Золоторевич
17
Gordon Moore
«Мощность CPU удваивается каждые 1,5 года при сохранении стоимости »
«Если бы автомобилестроение эволюционировало со скоростью полупроводниковой промышленности, то
сегодня «Роллс-Ройс» стоил бы $3, мог бы проехать 0,5 млн. миль на одном галлоне бензина, и было бы дешевле его выбросить, чем платить за парковку»
Физика компьютеров 2011 Л.А. Золоторевич
18
«Когда мы применяем знания к задачам, которые уже умеем решать, мы называем это производительностью. Когда же мы учимся применять управление знаниями
кновым задачам, мы называем это инновациями».
П.Друкер
Физика компьютеров 2011 Л.А. Золоторевич
19
АКТУАЛЬНЫЕ ЗАДАЧИ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ
•РАЗРАБОТКА МЕТОДОВ И СРЕДСТВ ВЕРИФИКАЦИИ ПРОЕКТОВ НА РАЗНЫХ УРОВНЯХ ПРОЕКТИРОВАНИЯ;
•РАЗРАБОТКА МЕТОДОВ И СРЕДСТВ СОЗДАНИЯ СИСТЕМ ТЕСТОВОГО ДИАГНОСТИРОВАНИЯ НА РАЗНЫХ УРОВНЯХ ПРОЕКТИРОВАНИЯ.
•13 th IEEE European Test Symposium, Verbania, ITALY, May 25-29, 2008
•27th IEEE VLSI Test Symposium (VTS) San Diego, California
•IEEE Computer Society Annual Symposium on VLSI, France
•6th IEEE EAST-WEST DESIGN & TEST SYMPOSIUM EWDTS
2008 Lviv, Ukraine, October 9-13, 2008 |
|
•International Symposium on VLSI Design, Automation |
|
and Test, April 28-30, 2009 Hsinchu, Taiwan |
|
• |
The International Conference Computer- Aided Design |
of Diskrete Devices (CAD-DD’10) Minsk |
|
• |
Физика компьютеров 2011 Л.А. |
Proceedings of Design Automation and Test in Europe |
|
|
Золоторевич |
20
Уровни проектирования и методы моделирования цифровых систем
Уровни
проектирования
Методы
моделирования
Системное |
Уровень |
|
Функц. |
Топологи- |
Электронное |
|
Модел. |
||
|
МРП |
|
логическое |
ческое |
|
технологии |
|||
|
По принципу |
По задачам |
|
По порядку |
По |
|
|
|
|
|
постр. прогр. |
моделиров. |
|
счета |
точности |
|
|
|
|
|
|
|
|
|
|
||||
|
Построение |
|
|
|
Методы |
|
Методы |
||
Компилятив- |
Верификация |
|
квазистатичес |
|
динамического |
||||
ное |
СТД |
|
проекта |
|
кого анализа |
|
анализа |
||
Интерпретаци |
Моделирован. |
|
|
Простой |
Абстрактные |
|
|
БЛ |
|
одиночной f |
|
|
модели |
|
|
|
|||
оное |
|
|
|
итерации |
|
|
|
|
|
|
Параллельное |
|
|
|
Двоичное |
|
|
Многозначное |
|
|
|
|
Итераций |
моделирование |
|
|
временное |
||
|
|
|
|
|
|||||
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
Дедуктивное |
|
|
Зейделя |
Метод |
|
|
Асинхронное |
|
|
|
|
|
|
|
||||
|
|
|
|
Эйхельбергера |
|
|
|
||
|
|
|
|
|
|
|
|
||
|
|
|
Событийное |
Методы |
|
|
Интервальное |
||
|
Конкурентно- |
|
|
|
|
|
|||
дедуктивное |
многозначного |
|
моделирования |
||
|
Физика компьютеров 2011 Л.А. Золоторевич