Не просто ненуля. Есть критерий полноты сигнала. К примеру, в случае dual-rail кодирования для каждого бита i в паре hidata[i] и lodata[i] один из сигналов должен встать в 1. Посмотрите код модуля ContinuePush в моём последнем посте (https://vak.dreamwidth.org/438026.html). Критерий полноты выглядит так:
wire set = &(x.hidata | x.lodata);
В том-то и прелесть, что любую численную функцию можно вычислять монотонно, если использовать кодирование dual-rail (или quad-rail, или 1-of-N, зависит от конкретного применения).
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Re: странно
Date: 2017-02-03 06:50 (UTC)