Using Boolean relation determinization in digital circuit optimization

Using Boolean relation determinization in digital circuit optimization

Bibliographic Details
Published in:	Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участием С. 71
Other Authors:	Gromov, Maxim L., Kushik, Natalia G., Hsuan-Po Lin, Wei-Lun Hung
Format:	Book Chapter
Language:	Russian
Subjects:	информационные технологии информационные системы цифровые схемы булевы отношения оптимизация труды ученых ТГУ
Online Access:	Перейти в каталог НБ ТГУ

Similar Items

Optimization Criteria for Digital Circuits
by: Gromov, Maxim L.

Синтез комбинированных схем в базисе FPGA по ZDD-представлению ДНФ
by: Останин, Сергей Александрович

Applying incompletely specified Boolean functions for patch circuit generation
by: Matrosova, Anzhela Yu

О задаче минимизации на логическом уровне энергопотребления схемы, реализующей булеву функцию
by: Черемисинов, Дмитрий Иванович

Функциональная разделимость частично определенных булевых функций
by: Елисеева, Наталья Александровна

К оптимизации последовательной композиции структурных автоматов
by: Яичников, В. А.

Increasing Manufacturing Yield Using Partially Programmable Circuits with CLB implementation of Incompletely Specified Boolean Function of the Corresponding Sub-circuit
by: Matrosova, Anzhela Yu

К оптимизации цифровых схем на основе функциональной зависимости
by: Сапунков, Г. Г.

An Approach to Implementation Checking
by: Cheremisinova, L. D.

Minimizing communication lines in digital circuits based on equation solving
by: Yevtushenko, Nina V.

Генерация тестов для схем с памятью на основе различающих функций
by: Скобцов, Ю. А.

О свойствах неисправностей, порожденных многоуровневыми методами синтеза, примененными к частично монотонным системам булевых функций
by: Матросова, Анжела Юрьевна

Моделирование синхронных схем с памятью на не полностью определенных входных последовательностях произвольной длины
by: Голубева, Ольга Ивановна

Применение аппарата покрытий троичных матриц для поиска разбиения множества аргументов при декомпозиции булевых функций
by: Поттосин, Юрий Васильевич

Информационная среда Digital Humanities: анализ информационных взаимодействий
by: Захарова, Ульяна Сергеевна

Синтез проверяющих тестов для кратных константных неисправностей и неисправностей задержек контролепригодных логических схем
by: Матросова, Анжела Юрьевна

Синтез последовательностных схем, устойчивых к кратковременным и перемежающимся неисправностям
by: Матросова, Анжела Юрьевна

Оптимизация проверяющего теста для неисправностей задержек контролепригодных схем
by: Матросова, Анжела Юрьевна

Упрощение сколемовских функций в булевых формулах с кванторами
by: Шатилов, Никита Петрович

Использование булевых функций для представления многоугольников
by: Поттосин, Юрий Васильевич

Оптимизация элементов цифровых схем посредством решения систем автоматных уравнений
by: Жарикова, С. В.

Энергосберегающая оптимизация диагностирующих тестов
by: Ахунова, Д. И.

Информационные взаимодействия в Digital Humanities
by: Можаева, Галина Васильевна 1966-

Synthesis of combinational circuits by means of bi-decomposition of Boolean functions
by: Pottosin, Yu. V.

Автоматизированный коллоквиум по теме "Методы трансляции: оптимизация программ"
by: Захарова, Алла Викторовна

Использование двоичных диаграмм решений в задачах обращения дискретных функций
by: Игнатьев, Алексей Сергеевич

Boolean functions and computation models
by: Clote, Peter
Published: (2002)

Test cover calculation in digital systems with world-level decision diagrams

Нахождение установочной последовательности для D-триггера
by: Черемисинова, Людмила Дмитриевна

BDD and DNF based algorithms for constructing all testability functions of combinational circuit
by: Golubeva, Olga

Концептуальная семантика информационного портала проектной организации

The use of "IS-A"-relations in information technology
by: Babanov, A. M.

Local-optimal filtering in linear systems with degenerated matrix of noisy measurement intensivety
by: Smagin, Valery I.

Экспериментальная система для отработки методов свертки, используемых для проектирования компактной топологии регулярных структур
by: Логинова, И. П.

On one-to-one property of a vectorial Boolean function of the special type
by: Zapolskiy, M. M.

Сокращение длины проверяющего теста, обнаруживающего кратные константные неисправности на полюсах логических элементов комбинационной схемы
by: Андреева, Валентина Валерьевна

Создание информационной системы учета и контроля выполнения договорных отношений в УФМС по Томской области
by: Гусева, А. С.

Декомпозиция комбинационных схем методом функциональной редукции
by: Таланов, Владимир Александрович

Синтез комбинационных переключательных схем с заданным динамическим поведением
by: Панкратова, Ирина Анатольевна кандидат физико-математических наук

Homing sequence derivation with quantified boolean satisfiability