Autor:

Gosti, Wilsin ; Villa, Tiziano ; Saldanha, Alex ; Sangiovanni-Vincentelli, Alberto L.

Współtwórca:

Korbicz, Józef (1951- ) - red.

Tytuł:

FSM encoding for BDD representations

Tytuł publikacji grupowej:

AMCS, volume 17 (2007)

Temat i słowa kluczowe:

binary decision diagram ; encoding ; finite state machine ; logic synthesis ; formal verification ; logic representation

Abstract:

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.

Wydawca:

Zielona Góra: Uniwersytet Zielonogórski

Data wydania:

2007

Typ zasobu:

artykuł

DOI:

10.2478/v10006-007-0011-6

Strony:

113-128

Źródło:

AMCS, volume 17, number 1 (2007)

Jezyk:

eng

Prawa do dysponowania publikacją:

Biblioteka Uniwersytetu Zielonogórskiego