ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Вторник
13 мая
270831
Evgeny_CDАрхитектор (08.09.2011 15:52, просмотров: 5276)
Интересно, а есть ли чисто логические синтезаторы, которые умеют делать так. [Табличное преобразование по некоторым несущественным причинам невозможно. Картами Каро тоже пользоваться не охота.] Есть у меня функция: 10 входных переменных, 8 битное значение на выходе. Она задана таблично. Пусть синтезатор возьмет все это и родит логические термы для каждого выходного бита. С минимизацией выражений. Есть тулзы для этого?