Блин, парни, это же элементарно. Но я спрашивал не об этом. И, кстати, тот же Кактус в RTL переносит инверсию с выхода на вход, т.к. она легче формируется матрицей (там набор инверторов на каждый входной сигнал есть).