Использование неточных результатов для сокращения вычислительных затрат точного троичного моделирования последовательностных схем О. И. Голубева
Material type:
ArticleOther title: Using inexact results for the reduction of the computational costs of the exact three-value simulation of sequential circuits [Parallel title]Subject(s): троичное моделирование | синхронная последовательностная схема | ROBDD-графыGenre/Form: статьи в журналах Online resources: Click here to access online
In:
Таврический научный обозреватель № 4, ч. 1. С. 136-146Abstract: Рассматривается метод точного троичного моделирования синхронных последовательностных схем, основанный на представлении функций в виде ROBDD графов. Моделирование выполняется с использованием функций переходов в состояния схемы. Функции переходов в состояния строятся путем перемножения функций переходов или их инверсий в соответствии с кодами состояний схемы. Неточные методы троичного моделирования, как правило, требуют меньших вычислительных затрат. Тем не менее, использование неточных методов троичного моделирования, в общем случае, приводит к ухудшению качества решений различных задач. В работе рассматривается возможность использования результатов неточных методов троичного моделирования для сокращения вычислительных затрат точного троичного моделирования.
Библиогр.: 7 назв.
Рассматривается метод точного троичного моделирования синхронных последовательностных схем, основанный на представлении функций в виде ROBDD графов. Моделирование выполняется с использованием функций переходов в состояния схемы. Функции переходов в состояния строятся путем перемножения функций переходов или их инверсий в соответствии с кодами состояний схемы. Неточные методы троичного моделирования, как правило, требуют меньших вычислительных затрат. Тем не менее, использование неточных методов троичного моделирования, в общем случае, приводит к ухудшению качества решений различных задач. В работе рассматривается возможность использования результатов неточных методов троичного моделирования для сокращения вычислительных затрат точного троичного моделирования.
There are no comments on this title.