Адрес : Институт проблем информатики РАН, ул. Вавилова, д. 44, корпус 2, , Москва, Россия Телефон: 7 (495) Fax: 7 (495) МЭС-2006 Институт проблем информатики Российской академии наук САПР строго само синхронных электронных схем РОНИС Л.П. Плеханов

Содержание 1. Введение - ССС-схемы - ССС-схемы - Состояние автоматизации проектирования - Состояние автоматизации проектирования 2. Основные требования и характеристика 6. Состав РОНИС и локализация на ПК 3. Маршрут проектирования 4. Информационные связи 5. Примеры описаний 7. Заключение МЭС Институт проблем информатики Российской академии наук

Введение МЭС-2006 Институт проблем информатики Российской академии наук Главные преимущества ССС-схем: - полное отсутствие гонок, - гарантия безошибочной работы. Экспериментально проверена работоспособсобность ССС- схем в диапазонах: - температур от -60 до +120 о С, - питания от 0,2 – 0,4 В до 12 – 14 В при номинале 5 В. Быстродействие ССС-схем в нормальных условиях в 1,5 раза лучше синхронных аналогов. Затраты ССС-схем в среднем на % больше. ССС-схемы имеют пониженное токопотребление.

МЭС-2006 Институт проблем информатики Российской академии наук Автоматизация проектирования ССС-схем Проверка и обеспечение свойств строгой само синхронности (полумодулярности) требует специальных алгоритмов. Характеристики системы проектирования ФОРСАЖ (группа В.И.Варшавского): 1) ДОС, прямой доступ к ОП (до 1 Мб); 2) отсутствие входов и выходов в описании схемы; 3) нестандартный собственный язык; 4) малый размер обрабатываемых схем.

САПР РОНИС МЭС-2006 Институт проблем информатики Российской академии наук Требования к специализированной САПР ССС-схем: 1) использование со средствами проектирования общего назначения; 2) стандартный язык, отсутствие перекодировок описаний; 3) библиотеки, единые для сквозного проектирования; 4) максимально возможная независимость от платформы. Общая характеристика системы: - язык описаний схем – VHDL-93; - язык прикладных программ – C++; - платформа Windows XP.

Состав РОНИС и локализация на ПК МЭС-2006 Институт проблем информатики Российской академии наук Состав РОНИС: - общесистемная часть (программы на VHDL и C++); - библиотеки базовых элементов и макроэлементов (кристаллы МИЭТ 5503 и 5508); - подсистема анализа (программы БТРАН, АСИАН, САМАН); - подсистема синтеза (программа СИНТАБИБ). Размещение на каждом ПК: - системный каталог, - проект 1, … проект N.

Маршрут проектирования в РОНИС МЭС-2006 Институт проблем информатики Российской академии наук Новые БЭ Контроль функционирования и само синхронности Cadence LDV Разработка ССС-узлов Подсистема синтеза ССС-узлов Спецификация устройства Библиотека элементов Подсистема анализа ССС-схем Подготовка тестов Подготовка топологии Верификация Описание после восстановления из топологии Прототип описания Разработка ССС-узлов

МЭС-2006 Институт проблем информатики Российской академии наук Информационные связи в РОНИС Графический ввод схем OrCAD Корректировка описания РОНИС Файлы проекта [VHDL] Файлы макробиблиотеки [VHDL] Файлы воздействий [VHDL] Файлы базовых элементов [VHDL] Графический ввод воздействий SynaptiCAD Моделирование схем (Cadence) Анализ схем РОНИС Синтез схем РОНИС

МЭС-2006 Институт проблем информатики Российской академии наук Фрагмент описания базового элемента Library IEEE; use IEEE. STD_LOGIC_1164. all; Library RONIS; Use RONIS. RonisPack. all; Use WORK. MIET_55Pack. all; Entity A222OI is generic (Load: real:= Load_typ); port (I0, I1, I2, I3, I4, I5: in ron_logic; O: out ron_logic); attribute Pin_load of I0, I1, I2, I3, I4, I5, O: signal is Load_Fact; attribute Bool_expr of O: signal is "RR"; end A222OI; Architecture Simple of A222OI is attribute Ventils of Simple: architecture is 3; attribute BaseElem of Simple: architecture is 1; shared variable T_01, T_10: time:= 1 ps;

МЭС-2006 Институт проблем информатики Российской академии наук Пример описания заголовка схемы Library IEEE; Use IEEE.std_logic_1164.all; Library RONIS; Use RONIS.RonisPack.all; Library Miet5503; Use Miet5503.MIET_55Pack.all; Entity PPTR is port (S, R, RT: in ron_logic; Q, QB, U, UB, I: out ron_logic; E: in ron_logic); attribute SSS_attr of S, R: signal is ParaPhase; attribute SSS_attr of RT: signal is Start_By1; attribute SSS_attr of Q, QB, U, UB: signal is Bistable; attribute SSS_attr of I, E: signal is SingPhase; attribute SPACER of S, R: signal is '1'; attribute SPACER of E: signal is '1'; end entity;

Заключение МЭС-2006 Институт проблем информатики Российской академии наук 1. Система удовлетворяет требованиям. 2. Система находится в опытной эксплуатации и была использована для проектирования реальной микросхемы. 3. Система продолжает развиваться.