<?xml version="1.0"?>
<api>
  <query-continue>
    <allpages gapfrom="Аппаратные реализации модулярных сумматоров и умножителей на базе минимизированной таблицы истинности" />
  </query-continue>
  <query>
    <pages>
      <page pageid="32" ns="0" title="Алгоритм Espresso">
        <revisions>
          <rev xml:space="preserve">'''Espresso''' - компьютерная программа, использующая эффективные эвристически алгоритмы для минимизации булевых функций.&lt;ref&gt;Digital Logic Design, Addison Wesley, year=1993, isbn=0-201-15461-7&lt;/ref&gt;. Espresso была разработана в IBM Робертом Брайтоном. Вслед за Espresso появились новые программы и алгоритмы использующие предложенные в программе идеи.

=== Программное обеспечение ===
==== Исходники Espresso ====
The source of the original Espresso program is available from the website of the University of California, Berkeley, at [http://embedded.eecs.berkeley.edu/pubs/downloads/espresso/index.htm Pubs/Downloads/Espresso].
A version of Espresso that has been updated for modern POSIX systems is available at [ftp://ftp.cs.man.ac.uk/pub/amulet/balsa/other-software/espresso-ab-1.0.tar.gz]

==== Logic Friday ====
''' Logic Friday ''' - бесплатная программа под Windows с графическим интерфейсом. По сути является графической оболочкой для консольных программ Espresso и MIS: A multiple-level logic optimization system (misII.exe). Logic Friday бесплатно доступна на сайте [http://www.sontrak.com http://www.sontrak.com].

=== Параметры запуска ===
Точный результат (медленно):
&lt;pre&gt;espresso -Dexact in.dat&lt;/pre&gt;
Эвристика (быстро):
&lt;pre&gt;espresso in.dat&lt;/pre&gt;
Каждый выход отдельно:
&lt;pre&gt;espresso -Dso -S1 in.dat&lt;/pre&gt;

=== Входные данные ===
'''Комбинационная схема заданная таблицей истинности'''
&lt;pre&gt;
.i 4
.o 2
.ilb A0 A1 B0 B1
.ob X0 X1
.type fdr
0000 00
0001 01
0010 10
0011 --
0100 01
0101 10
0110 00
0111 --
1000 10
1001 00
1010 01
1011 --
1100 --
1101 --
1110 --
1111 --
.e
&lt;/pre&gt;

=== Выходные данные ===
'''Таблица истинности после минимизации'''
&lt;pre&gt;
.i 4
.o 2
.ilb A0 A1 B0 B1
.ob X0 X1
.p 6
1-1- 01
-1-1 10
00-1 01
-100 01
001- 10
1-00 10
.e
&lt;/pre&gt;


== Примечания ==
&lt;references/&gt;</rev>
        </revisions>
      </page>
      <page pageid="210" ns="0" title="Алгоритмы перехода от позиционного представления к остаткам">
        <revisions>
          <rev xml:space="preserve">Обычно исходные данные для вычислений представлены в каком-либо традиционном представлении, двоичном или десятичном. В таком же виде ожидаются результаты вычислений. Отсюда понятна необходимость перевода чисел из позиционного представления в представление СОК (прямое преобразование) и обратно (обратное преобразование).

Перевод числа в систему остаточных классов можно осуществить непосредственно методом деления с модулями СОК в качестве делителей. Однако из-за сложности операции деления техническая реализация такого метода неэффективна.
Поэтому рассматриваются другие методы.
Например, часто используется метод перевода числа из позиционной системы счисления в СОК, не содержащий операции деления, называемый методом непосредственного суммирования модульных значений разрядов позиционного числа.

В настоящее время широкое применение получили следующие три вида преобразования:

* метод понижения разрядности числа;

* метод на основе сети прямого распространения;

* метод непосредственного суммирования.


Основным достоинством системы остаточных классов является сравнительная простота выполнения модульных операций (сложения, вычитания, умножения). Кроме модульных операций в цифровых устройствах часто выполняются и такие операции, которые требуют знания числа в целом. Данные операции являются немодульными и относятся к классу позиционных операций, наиболее трудоемких в непозиционной системе класса вычетов.

Одной из основных немодульных процедур, необходимых для функционирования спецпроцессора класса вычетов, прямое преобразование позиционного кода в код СОК.</rev>
        </revisions>
      </page>
    </pages>
  </query>
</api>