ИСПОЛЬЗОВАНИЕ РЕЛЯЦИОННОЙ ТЕОРИИ ПРИ ОПТИМАЛЬНОМ ПРОЕКТИРОВАНИИ ИНТЕГРАЛЬНЫХ СХЕМ
Аннотация:
Предложен подход к адаптации реляционной теории для решения задач систем автоматизированного проектирования интегральных схем. Разработан алгоритм оптимального поиска неявных Don't Care (безразличных) значений. Алгоритм описан в терминах адаптированной теории, что позволило получить простое описание алгоритма как для неформального понимания, так и для формального анализа. Предложенный подход позволяет использо- вать позитивный опыт реляционных баз данных по эффективной (в том числе распределенной) реализации операций реляционной алгебры. Проведен сравнительный анализ предложенного алгоритма и классического алгоритма оптимального поиска неявных Don't Care значений. В ходе сравнительного анализа формально доказана корректность предложенного алгоритма. Показано, что предложенный алгоритм, по сравнению с классическим, имеет значительно меньшую асимптотическую сложность в худшем случае. Поиск неявных Don't Care значений в процессе проектирования интегральных схем позволяет повысить такие качества схем, как занимаемая площадь кристалла, энергопотребление, верифицируемость и надежность. Однако классический алгоритм оптимального поиска неявных Don't Care значений не применяется на практике ввиду его чрезмерно высокой вычислительной сложности. Применение алгоритмов субоптимального поиска не позволяет в полной мере реализовать возможности оптимизации интегральных схем. Реализация предложенного в работе алгоритма в системах автоматизированного проектирования интегральных схем целесообразна в силу значительно меньшей вычислительной сложности, потенциально позволяет улучшить соотношение скорости процесса разработки и качества получаемых интегральных схем в аспектах занимаемой площади кристалла, энергопотребления, верифицируемости и надежности. Предложенный подход делает возможным создание распределенной системы автоматизированного проектирования интегральных схем, что позволит повысить доступную системе вычислительную мощность и автоматизировать проектирование более сложных интегральных схем соответственно.
Ключевые слова:
Постоянный URL
Статьи в номере
- УЧЁТ МНОГОЧАСТИЧНЫХ ВЗАИМОДЕЙСТВИЙ В МОЛЕКУЛЯРНЫХ J-АГРЕГАТАХ И НЕЛИНЕЙНЫЕ ОПТИЧЕСКИЕ ЭФФЕКТЫ В ЭТИХ СИСТЕМАХ
- ГКР СПЕКТРОСКОПИЯ МОЛЕКУЛ БАКТЕРИОРОДОПСИНА, АДСОРБИРОВАННЫХ НА СЕРЕБРЯНЫЕ НАНООСТРОВКОВЫЕ ПЛЕНКИ
- АБЛЯЦИЯ ТВЕРДОГО ТЕЛА ПОД ДЕЙСТВИЕМ СВЕРХКОРОТКИХ ЛАЗЕРНЫХ ИМПУЛЬСОВ: ИССЛЕДОВАНИЕ МЕТОДАМИ МОЛЕКУЛЯРНОЙ ДИНАМИКИ
- ФУНДАМЕНТАЛЬНАЯ МАТРИЦА ЛИНЕЙНОЙ НЕПРЕРЫВНОЙ СИСТЕМЫ В ЗАДАЧЕ ОЦЕНКИ ЕЕ ТРАНСПОРТНОГО ЗАПАЗДЫВАНИЯ
- ТЕПЛОВЫЕ И ЭЛЕКТРИЧЕСКИЕ ПОЛЯ ПРИ ИСКРОВОМ ПЛАЗМЕННОМ СПЕКАНИИ ТЕРМОЭЛЕКТРИЧЕСКИХ МАТЕРИАЛОВ
- ВЛИЯНИЕ ОДНОСТАДИЙНОЙ ОБРАБОТКИ КВАРЦЕВОЙ КЕРАМИКИ ГЕЛЕОБРАЗУЮЩИМИ ВОДНЫМИ РАСТВОРАМИ НА ПРОЧНОСТНЫЕ ХАРАКТЕРИСТИКИ
- ИССЛЕДОВАНИЕ СОРБЦИОННЫХ ХАРАКТЕРИСТИК ПОЛИМЕРНЫХ МИНЕРАЛ-НАПОЛНЕННЫХ КОМПОЗИТОВ ДЛЯ МЕДИЦИНЫ
- КИНЕТИКА КРИСТАЛЛИЗАЦИИ ПОЛИМЕРНЫХ НАНОКОМПОЗИТОВ НА ОСНОВЕ ПОЛИАМИДА 12, МОДИФИЦИРОВАННОГО НАНОЧАСТИЦАМИ Cr2O3
- НЕОРГАНИЧЕСКИЕ ЛЮМИНОФОРЫ В СТЕКЛЕ НА ОСНОВЕ СВИНЦОВО-СИЛИКАТНЫХ СТЕКОЛ
- УЛУЧШЕНИЕ КАЧЕСТВА РАСПОЗНАВАНИЯ В СЕТЯХ ГЛУБОКОГО ОБУЧЕНИЯ С ПОМОЩЬЮ МЕТОДА ИМИТАЦИИ ОТЖИГА
- ЭКСПЕРИМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ ПРОГРАММНО-АППАРАТНЫХ СРЕДСТВ ВВОДА И ВЫДЕЛЕНИЯ РЕЧЕВОГО СИГНАЛА ПОЛЬЗОВАТЕЛЯ СИСТЕМ ГОЛОСОВОЙ АУТЕНТИФИКАЦИИ
- СОЗДАНИЕ СИСТЕМ ПОДДЕРЖКИ СОВМЕСТНЫХ НАУЧНЫХ ИССЛЕДОВАНИЙ В НАУКАХ О ЗЕМЛЕ В СРЕДЕ COLLA НА ОСНОВЕ МЕТОДА КУСТА СОБЫТИЙ
- ДВУЯЗЫЧНАЯ МНОГОМОДАЛЬНАЯ СИСТЕМА ДЛЯ АУДИОВИЗУАЛЬНОГО СИНТЕЗА РЕЧИ И ЖЕСТОВОГО ЯЗЫКА ПО ТЕКСТУ
- СОВЕРШЕНСТВОВАНИЕ POLICE OFFICE MODEL ДЛЯ ОБЕСПЕЧЕНИЯ БЕЗОПАСНОСТИ РОЕВЫХ РОБОТОТЕХНИЧЕСКИХ СИСТЕМ
- ОПТИМИЗАЦИЯ ИНТЕРВАЛОВ ПРОВЕРКИ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ СИСТЕМ
- АЛГОРИТМ СЕМАНТИЧЕСКОГО АНАЛИЗА ТЕКСТА, ОСНОВАННЫЙ НА БАЗОВЫХ СЕМАНТИЧЕСКИХ ШАБЛОНАХ С УДАЛЕНИЕМ
- АРХИТЕКТУРА ВЕБ-ОРИЕНТИРОВАННОЙ АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ ТЕХНОЛОГИЧЕСКОЙ ПОДГОТОВКИ ПРОИЗВОДСТВА
- МОДЕЛИРОВАНИЕ ИМПУЛЬСНОГО ПРОБОЯ В ГЕЛИИ С ИСПОЛЬЗОВАНИЕМ АДАПТИВНЫХ МЕТОДОВ
- О ПОСТРОЕНИИ АЛГОРИТМОВ РАБОТЫ БЕСКАРДАННОГО ГИРОГОРИЗОНТКОМПАСА НА ЭЛЕКТРОСТАТИЧЕСКОМ ГИРОСКОПЕ
- МОДЕЛИРОВАНИЕ И ЭКСПЕРИМЕНТАЛЬНОЕ ИССЛЕДОВАНИЕ ЧУВСТВИТЕЛЬНОГО ЭЛЕМЕНТА ВОЛОКОННО-ОПТИЧЕСКОГО ГИДРОФОНА
- К ВОПРОСУ ПОВЫШЕНИЯ РЕЗУЛЬТАТИВНОСТИ МАССОВОГО ОНЛАЙН-КУРСА
- ИНФОРМАЦИОННАЯ ИНФРАСТРУКТУРА ОБРАЗОВАТЕЛЬНОЙ СРЕДЫ С ИСПОЛЬЗОВАНИЕМ ТЕХНОЛОГИИ ВИРТУАЛЬНЫХ МАШИН
- ДВУХСЛОЙНЫЕ ФАЗО-КОМПЕНСИРУЮЩИЕ ИНТЕРФЕРЕНЦИОННЫЕ СИСТЕМЫ
- ПРОТОТИП ПРОФЕССИОНАЛЬНОЙ СОЦИАЛЬНОЙ СЕТИ BARENTSNET ДЛЯ ИНФОРМАЦИОННОЙ ПОДДЕРЖКИ УПРАВЛЕНИЯ РАЗВИТИЕМ БАРЕНЦЕВА ЕВРО-АРКТИЧЕСКОГО РЕГИОНА