Wyszukiwanie zaawansowane ?

Obiekt

FSM encoding for BDD representations

Pobierz

Tytuł: FSM encoding for BDD representations

Autor:

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

Data wydania:

2007

Typ zasobu:

artykuł

Współtwórca:

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

Tytuł publikacji grupowej:

AMCS, volume 17 (2007)

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

Identyfikator zasobu:

oai:zbc.uz.zgora.pl:78641

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

Temat i słowa kluczowe:

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

Kolekcje, do których przypisany jest obiekt:

Data ostatniej modyfikacji:

2024-11-05

Data dodania obiektu:

2024-04-02

Liczba wyświetleń treści obiektu:

31

Wszystkie dostępne wersje tego obiektu:

https://zbc.uz.zgora.pl/publication/88394

Wyświetl opis w formacie RDF:

RDF

Wyświetl opis w formacie OAI-PMH:

OAI-PMH

Nazwa wydania Data
FSM encoding for BDD representations 2024-11-05

Obiekty

Podobne
AMCS, Volume 24 (2014)
AMCS, Volume 24 (2014)

Selection of search strategies for solving 3-SAT problems

Pułka, Andrzej Makowski, Ryszard - ed. Zarzycki, Jan - ed.

2014
artykuł
AMCS, Volume 15 (2005)
AMCS, Volume 15 (2005)

Design of Mealy finite-state machines with the transformation of object codes

Barkalov, Alexander Barkalov, Alexander Jr. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2005
artykuł
AMCS, volume 19 (2009)
AMCS, volume 19 (2009)

Synthesis of finite state machines for CPLDs

Czerwiński, Robert Kania, Dariusz Zieliński, Cezary - ed.

2009
artykuł
AMCS, volume 17 (2007)
AMCS, volume 17 (2007)

Reduction in the number of PAL macrocells in the circuit of a Moore FSM

Barkalov, Alexander Titarenko, Larysa Chmielewski, Sławomir Korbicz, Józef (1951- ) - red.

2007
artykuł
AMCS, Volume 24 (2014)
AMCS, Volume 24 (2014)

A system for deduction-based formal verification of workflow-oriented software models

Klimek, Radosław Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2014
artykuł
AMCS, volume 11 (2001)
AMCS, volume 11 (2001)

Relative sets and rough sets

Mousavi, Amin Jabedar-Maralani, Parviz Grzymala-Busse, Jerzy - ed. Świniarski, Roman W. - ed. Zhong, Ning - ed. Ziarko, Wojciech - ed.

2001
artykuł
AMCS, volume 18 (2008)
AMCS, volume 18 (2008)

Application of triple correlation and bispectrum for interference immunity improvement in telecommunications systems

Molchanov, Pavel Totsky, Alexandr Gałkowski, Krzysztof - ed. Rogers, Eric - ed. Willems, Jan

2008
artykuł
AMCS, volume 10 (2000)
AMCS, volume 10 (2000)

Neural networks in the framework of granular computing

Pedrycz, Witold (1953- ) Rutkowska, Danuta - ed. Zadeh, Lotfi A. - ed.

2000
artykuł
Więcej

Dane kontaktowe

Adres

Biblioteka Uniwersytetu
Zielonogórskiego
al. Wojska Polskiego 71
65-762 Zielona Góra

Telefon

(+48) 68 328 21 55

E-Mail

kontakt@zbc.uz.zgora.pl

Wojewódzka i Miejska Biblioteka Publiczna
im. C. Norwida w Zielonej Górze
al. Wojska Polskiego 9
65-077 Zielona Góra

(+48) 68 453 26 06

p.karp@biblioteka.zgora.pl

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji