Main

Генераторы Verilog (базовые операции) Модулярные сумматоры Генератор Verilog для сумматора по модулю 2n-1 - реализация на базе двух сумматоров и мультиплексора (Р-2012). Генератор Verilog для сумматора по модулю 2n-1 - полностью комбинационная реализация без мультиплексора (Д-2012). Генератор Verilog для сумматора по произвольному модулю - реализация предлагающая оптимальный вариант. Генератор Verilog для многовходового сумматора по произвольному модулю - несколько различных вариантов сумматора нескольких переменных по модулю. Генератор Verilog для многовходового сумматора по произвольному модулю - реализация на базе метода сложения в позиционных кодах (Г-2015). Модулярные умножители Генератор Verilog для умножения по модулю (метод 1) - от 3 до 1000 по индексному методу (умножение заменено на сложение). Генератор Verilog для умножения по модулю (метод 2) - от 3 до 1000 по методу разности квадратов (X*Y = (1/4)*(X+Y)2 - (1/4)*(X-Y)2) Генератор Verilog для умножения по модулю (метод 3) - позиционное умножение с последующим прямым преобразованием Генератор Verilog для умножения по модулю (метод 4) - модулярный умножитель на базе большой таблицы (case) Генератор Verilog для умножения по модулю (метод 5) - на базе частичных сумм Генератор Verilog для умножителя по модулю 2n+1 - для n от 3 до 43. Генератор Verilog для умножителя по модулю 2n-1 - для n от 3 до 43. Генератор Verilog для умножителя по модулю 2n - для n от 3 до 43. Классические умножители (до 128 бит) Бинарный умножитель на базе модулярного базиса (2n-1, 2n, 2n+1) Бинарных умножитель на базе рекурсивной модулярного базиса (2n-1, 2n, 2n+1) - используется два иерархических уровня модулей вида (2n-1, 2n, 2n+1). Бинарный умножитель на базе модулярного базиса (2n-1, 2n+1, 2n+1-1, 2n+1+1) - используется перспективный набор из 4-х модулей. Бинарный умножитель на базе иерархического метода - используется метод "разделяй и властвуй" без использования модулярной арифметики. Прямые модулярные преобразователи Модулярный базис (2n-1, 2n, 2n+1) - прямой преобразователь из позиционной системы счисления в систему остаточных классов (Р-2012). Модулярный базис (2n-1, 2n, 2n+1) - прямой преобразователь из позиционной системы счисления в систему остаточных классов (Д-2012). Модулярный базис (2n-1, 2n+1, 2n+1-1, 2n+1+1) - прямой преобразователь из позиционной системы счисления в систему остаточных классов. Универсальный прямой преобразователь - прямой преобразователь из позиционной системы счисления в СОК для произвольной системы модулей (Две версии: комбинационный и конвейерный). Обратные модулярные преобразователи Генератор Verilog для обратного преобразователя из базиса вида (2n-1, 2n, 2n+1) - сверхбыстрый обратный преобразователь в позиционную систему. Генератор Verilog для обратного преобразователя из 4-х элементного базиса (2n-1, 2n+1, 2n+1-1, 2n+1+1) - обратный преобразователь в позиционную систему. Генератор Verilog обратного преобразователя для произвольных взаимнопростых модулей - универсальный обратный преобразователь в позиционную систему для произвольного числа модулей (комбинационная и конвейерная версии). Генератор Verilog конвеерного обратного преобразователя на базе полиадического кода - универсальный обратный преобразователь в позиционную систему для произвольного числа модулей. Генератор Verilog конвеерного обратного преобразователя на базе полиадического кода с коррекцией ошибок - универсальный обратный преобразователь в позиционную систему для произвольного числа модулей с коррекцией одиночной ошибки в одном из каналов. Два старших модуля являются избыточными. Используется перспективная схема с уменьшенной площадью. Генератор Verilog конвеерного обратного преобразователя на базе полиадического кода с коррекцией ошибок - универсальный обратный преобразователь в позиционную систему для произвольного числа модулей с коррекцией одиночной ошибки в одном из каналов. Два старших модуля являются избыточными. Используется стандартный метод проекций. КИХ-фильтры Генератор Verilog для КИХ-фильтров (простейший метод) - конвейерная структура сделанная по формуле свертки O(N2). Генератор Verilog для конвейерных КИХ-фильтров на базе модулярного базиса (2n-1, 2n, 2n+1) Генератор Verilog для конвейерных КИХ-фильтров на базе модулярной арифметики и БПФ - перспективный метод с использование БПФ в конечном поле и сложностью O(N*logN) Скалярное произведение Генератор Verilog для MAC-Unit (простейший метод) - синхронный вариант с дефолтной реализацией. Генератор Verilog для быстрого вычисления скалярного произведения с конвейризацией - синхронный вариант на обычной позиционной арифметике. Генератор Verilog для вычисления скалярного произведения на базе модулярной арифметики - синхронный вариант на модулярной арифметике. Другое Генератор Verilog для модулярных операций по методу Квайна - генератор операций сложения и умножения, для малых модулей (от 3 до 15). Генератор Verilog для квадрата разности по модулю p - состоит из вычитателя и таблицы квадратов (LUT). Генератор умножителя для конвейерной реализации модулярного FIR-фильтра Генератор Verilog для прямых и инверсных Теоретико Числовых БПФ - используется конвейерная структура Radix2SPDF. Генератор Verilog для кодера и декодера Галуа - только отдельные кодер и декодер. Генератор Verilog для умножения матриц (систолический массив) SAD процессоры (поиск различия между двумя картинками) Генератор Verilog для реализации позиционного SAD процессора - поиск векторов компенсации движения в стандартном виде. Генератор Verilog для реализации модулярного SAD процессора - поиск векторов компенсации движения в модулярном базисе вида (2n-1, 2n, 2n+1). Формулы и математика Генератор простых чисел Прота для реализации операции свёртки (Версия 2) - по методу БПФ в конечном поле. Формула для обратного преобразователя для базиса вида (2n-1, 2n, 2n+1) - обратный преобразователь для спец. системы модулей из системы остаточных классов в позиционный код. Проверка формул обратного преобразователя для базиса вида (2n-1, 2n, 2n+1) - обратный преобразователь для спец. системы модулей из системы остаточных классов в позиционный код. Генератор базисов для SAD процессоров разной размерности - базисы специального вида и обычного. Рисовалка области значений комплексного вычета - вычет комплексного числа по комлексному переменному Проверка базиса и расчет его динамического диапазона Нахождение обратного элемента по модулю Преобразование позиционной системы счисления для заданного числа Преобразование из системы остаточных классов в позиционный вид Генератор базисов для рекурсивной модулярной арифметики

Справочные материалы Определения Система остаточных классов (Модулярная арифметика) - определение Функция Эйлера Описание Китайской теоремы об остатках II (CRT II) Описание Китайской теоремы об остатках III (CRT III) Вычет по комплексному переменному‎ Свёртка (ЦОС) Полиадический код (система счисления со смешанным основанием) Модулярная логарифметика‎ Рекурсивная модулярная арифметика‎‎ Бимодульная модулярная арифметика‎‎ Теория по системе из 4-х модулей (2n-1, 2n+1, 2n+1-1, 2n+1+1) Фильтр с конечной импульсной характеристикой Теоретические основы применения модулярной арифметики для обнаружения и коррекции ошибок Описание работы универсального прямого преобразователя Алгоритмы Метод инжектирования ошибок для оценки надежностных характеристик комбинационных схем Нахождение обратного элемента по модулю Схема коррекции ошибок Rajendra S. Katti Метод умножения Шёнхаге — Штрассена Расчет следующего значения функции на базе квадратичной интерполяции Программы Генератор Verilog из таблиц истинности для сумматоров по модулю Расчет FIR-фильтра по стандартной формуле Расчет FIR-фильтра через ДПФ метод Overlap-Add Расчет FIR-фильтра через ДПФ метод Overlap-Save‎ Расчет FIR-фильтра через ДПФ над конечным полем‎‎ Программа для проверки представимости булевой функции линейным арифметическим полиномом (PHP) Разное Учебник по СОК - подробное описание системы остаточных классов Алгоритм Espresso - эффективный алгоритм для минимизации булевых функций MIS: A multiple-level logic optimization system - система логического синтеза Запустить ModelSim из командной строки - руководство по запуску ModelSim без использования графического интерфейса Введение в АЦП - описание видов аналого-цифровых преобразователей (двоичных) Модулярное АЦП - описание различных архитектур АЦП и их сравнение Специальные системы модулей - разные типы систем Пример коррекции ошибки на базе системы остаточных классов Клеточный автомат для моделирования температуры Схемы ISCAS85 Полезная литература Результаты исследований 2015.11 - Простой прототип модулярного процессора с коррекцией сбоев 2014.07 - Исследование надежностных характеристик различных методов резервирования комбинационных схем с помощью метода инжектирования ошибок 2013.11 - Результаты синтеза прямых преобразователей для простых модулей в пределах 8 бит 2013.10 - Моделирование работы модулярного КИХ фильтра, исследование эффективности экстраполяционных методов для коррекции ошибок 2013.10 - Разработка модулярного КИХ фильтра на базе теоретико-числового БПФ 2013.08 - Комплексное исследование обратных преобразователей (4 метода) 2013.05 - Комплексное исследование умножителей в диапазоне 3 - 64 бит 2013.04 - Результаты синтеза двоичных умножителей (3 - 64 бит) 2013.04 - Результаты синтеза прямых/обратных преобразователей на спец модулях вида 2^n-1, 2^n, 2^n+1 для Д.Д. до 128 бит. 2013.02 - Сравнение разных методов умножения по модулю - 2^n-1,индексный,по методу разности квадратов и позиционный. 2013.02 - Результат сравнения различных методов построения модулярных умножителей (индексный метод, разность квадратов, метод Espresso) 2013.02 - Результат сравнения модулярных сумматоров в стандартном исполнении и по методу Espresso 2013.01 - Результат сравнения модулярных сумматоров в стандартном исполнении и по методу Квайна 2012.12 - Результат сравнения SAD-процессоров модулярный vs позиционный (промежуточный отчет 12.2012) 2012.12 - Исследование позиционного умножения на нашей библиотеке 2012.12 - Сравнение разных методов умножения по модулю - сравнение позиционного, индексного умножителя и умножителя по методу разности квадратов 2012.12 - Сравнение разных методов сложения по модулю 2^n-1 (модуль вида 2n-1) - сравнение позиционного сумматора и двух вариантов реализации сумматора по модулю 2n-1 (Генератор 1, Генератор 2). Временные и тестовые скрипты Список случайных простых чисел - для теста от 900 до 20000 Таблица умножения по модулю - от 3 до 100