Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Szukaj
Przeglądaj
Pomoc
O nas

Ograniczanie wyników

1 International Journal of Applied Mathematics and Computer Science

1 2007

1 Gosti W.
1 Saldanha A.
1 Sangiovanni-Vincentelli A. L.
1 Villa T.

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

FSM encoding for BDD representations

100%

Gosti W. , Villa T. , Saldanha A. , Sangiovanni-Vincentelli A. L.

International Journal of Applied Mathematics and Computer Science

2007

tom 17

nr 1

113-128

We address the problem of encoding the state variables of a finite state machine such that the BDD representing the next state function and the output function has the minimum number of nodes. We present an exact algorithm to solve this problem when only the present state variables are encoded. We provide results on MCNC benchmark circuits.