Статьи

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

Что такое таблица истинности, как построить её вручную и как она напрямую связана с логическими вентилями и проверкой схем.

Как законы Де Моргана позволяют преобразовать любое выражение AND/OR в эквивалентное, построенное полностью из вентилей NAND или NOR.

Визуальный метод минимизации булевых выражений группировкой соседних единиц в сетке — меньше вентилей, быстрее и дешевле схема.

Ключевое отличие защёлок, чувствительных к уровню, от триггеров, срабатывающих по фронту, и почему это важно для надёжной памяти.

Как два вентиля NOR, замкнутые друг на друга, запоминают бит, почему нельзя подавать S = R = 1 и что показывает Boolflow, когда петля не может устояться.

Как двоичное сложение строится из вентилей XOR и AND, и как соединение полных сумматоров образует полноценный N-битный сумматор.

Как линии выбора позволяют мультиплексору направить один из нескольких входов на единственный выход, и почему демультиплексор делает ровно наоборот.

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

Как цепочка триггеров считает в двоичной системе, в чём разница между асинхронными и синхронными счётчиками и где счётчики применяются в реальных схемах.

Как соединённые триггеры сдвигают биты влево или вправо на каждом тактовом цикле, и почему сдвиговые регистры — стандартный инструмент для преобразования последовательного кода в параллельный.

Как декодер активирует ровно одну выходную линию по двоичному адресу, и как энкодер делает обратное — основа адресации памяти и обработки прерываний.

Как арифметико-логическое устройство объединяет сумматоры, логические вентили и мультиплексор для выполнения нескольких операций, выбираемых по коду операции.

Как RAM хранит данные в массиве защёлок, адресуемых декодером, почему ROM подключена навсегда, и где применяется каждый тип в реальной системе.

Почему код Грея меняет только один бит между соседними значениями, и как бит чётности даёт схемам дешёвый способ обнаружить однобитную ошибку.

Как схема компаратора определяет, больше, равно или меньше одно двоичное число другого — побитно или по тетрадам (nibble).

Почему все триггеры в схеме должны работать от одного такта, и что происходит — метастабильность — когда вход меняется слишком близко к фронту такта.

Как FPGA реализует произвольную логику с помощью настраиваемых таблиц соответствия вместо фиксированных вентилей, и как блоки PLM в Boolflow моделируют ту же идею.

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

Как отрицательные числа представляются в двоичном виде, и как вычитатель вычисляет A − B, повторно используя обычное сумматорное оборудование.

Как декодер из BCD в семисегментный код превращает 4-битную цифру в нужную комбинацию светящихся сегментов, и как подключить индикатор к счётчику.

Как третье, высокоимпедансное состояние буфера позволяет нескольким источникам безопасно делить один провод — и что происходит, если развести это неправильно.

Как превратить сигнал, удерживаемый много тактов, в один-единственный такт импульса, и почему это различие важно.

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

Как четыре режима JK-триггера обобщают D-триггер, и почему T-триггер — естественный строительный блок для двоичного счётчика.

Как мажоритарный элемент выдаёт то значение, с которым согласно большинство входов, и как три таких элемента позволяют схеме пережить отказ одного узла.

Как набор триггеров с общим разрешением записи превращается в N-битный регистр, и как декодирование адреса превращает несколько регистров в регистровый файл.

Почему прибавление или вычитание 1 не требует полного сумматора, и как этот приём превращается в счётчик команд процессора.

Почему вентиль, не меняющий логическое значение, всё равно полезен — он восстанавливает силу сигнала и позволяет управлять большим числом входов, чем один вентиль может безопасно потянуть.

Почему один 4-входовый вентиль — это не просто увеличенная версия 2-входового: компромисс между широкими вентилями и цепочками вентилей поменьше.

Как флаги Zero, Carry и Overflow позволяют результату АЛУ ответить на вопросы «это было равно нулю?» или «произошло ли переполнение?» — основа любого условного перехода.

Как подача собственных битов регистра сдвига обратно через вентили XOR порождает длинную псевдослучайную последовательность — тот же приём лежит в основе ГПСЧ и контрольных сумм CRC.

Как многослойный холст Boolflow, межслойные связи VIA и контейнеры Frame делают большую схему читаемой вместо неуправляемого клубка проводов.

Как превратить схему в блок с именованными выводами, почему у каждой поставленной копии своё состояние и что блок значит для таблицы истинности, осциллограммы и экспортируемого кода.

Как вентиль XNOR выдаёт 1 ровно тогда, когда его входы совпадают, и почему это делает его естественным строительным блоком для компараторов и проверок ошибок.

Разница между разрешающим AND-вентилем GATE, принудительно задающим 0 на выходе, и tri-state буфером, который полностью отключается — и почему выбор между ними важен.

Как заставить 4-битный счётчик переполняться на 9 вместо 15, декодируя следующее значение прямо в асинхронный сброс — и в чём классический трюк.

Как добавление нескольких дополнительных битов чётности, каждый из которых покрывает своё пересекающееся подмножество данных, позволяет приёмнику не просто обнаружить, а найти и исправить именно тот бит, что перевернулся.

Почему контакты настоящего переключателя десятки раз скачут между 0 и 1, прежде чем устояться, и как регистр сдвига с небольшой логикой отфильтровывает этот шум в один чистый переход.

Как параллельное слово обрамляется стартовым и стоповым битами, сдвигается наружу по одному проводу и собирается заново на другом конце — идея, лежащая в основе любого UART.

Полноценный, конкретный конечный автомат — три состояния, один регистр, один блок комбинационной логики — собранный так же, как собирается любой настоящий автомат Мура.

Что на самом деле делают INPUT, OUTPUT, LED, CONST0/CONST1 и PROBE — небольшие элементы, которые любая схема использует, чтобы подать сигнал внутрь, считать его обратно и отладить происходящее между этим.

Как элемент CLOCK в Boolflow генерирует периодический сигнал, от которого зависит каждый триггер, счётчик и регистр в синхронной схеме, и что на самом деле определяет его частота.

Что на самом деле генерирует экспорт в HDL в Boolflow — один плоский комбинационный модуль, порты с вашими именами и честный список того, что пока не переводится.

Как Boolflow превращает комбинационную схему в одну топологически отсортированную функцию C++, которую можно вставить в другую программу, — и почему она не моделирует такты и память.

Как встроенная в Boolflow таблица тест-кейсов сверяет выходы схемы с ожидаемой таблицей — для комбинационной логики строка за строкой, а для триггеров, регистров и счётчиков с помощью символа импульса такта.

Соединяем два декадных BCD-счётчика цепочкой так, чтобы второй продвигался ровно один раз за каждое переполнение первого, — та же идея переноса, что и в любом многоразрядном счётчике.

Сочетаем свободно бегущий LFSR, переключатель с устранённым дребезгом и семисегментный индикатор, чтобы построить схему, показывающую свежее, непредсказуемое на вид число 1–6 при каждом нажатии.

Автомат Мили, который следит за одним входным битом во времени и поднимает выход ровно в момент появления заданного узора — например, кода кодового замка.