This book studies hardware and software specifications at algorithmic level from the point of
measuring and extracting the potential parallelism hidden in them. It investigates the …

Исследованы фундаментальные основы построения компьютерных программ и
цифровых устройств в не полностью специфицированных областях. Предложена …

Addition is one of the timing critical operations in most of modern processing units. For
decades, extensive research has been done devoted to designing higher speed and less …

Известное разложение Шеннона не применимо к не полностью определенным
булевым функциям. Предлагается теория, связывающая булеву и частичную алгебры …

Рассматривается задача синтеза и оптимизации логических обратимых и квантовых
схем по функциональным описаниям, представленным диаграммами решений. Задача …

Binary decision diagram. Binary decision diagram (BDD) is a well-known and widely used
graph model (data structure) of Boolean functions [1]. In work [2] Randal Bryant proposed a …

В процессе работы выполнены следующие задачи: 1) изучeны существующие методы
и подходы к синтезу цифровых схем; 2) проанализированы алгоритмы для синтеза …

Разложения и формы представления булевых функций на базе операции
исключающее или имеют ключевое значение для проектирования, тестирования и …

В результате выполнения данного проекта было спроектирована и разработана
программная реализация алгоритма минимизации размера двоичной диаграммы …

The well known Shannon expansion is not applicable to incompletely specified functions.
We propose a theory that merges Boolean and partial algebras and provides creation of …