Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(5)
Binary Decision Diagram
Exact Algorithm
Finite State Machine
Formal Verification
Logic Synthesis
Subscribe
Academic
Publications
FSM Encoding for BDD Representations
Edit
FSM Encoding for BDD Representations
(
Citations: 2
)
BibTex
|
RIS
|
RefWorks
Download
Wilsin Gosti
,
Tiziano Villa
,
Alexander Saldanha
,
Alberto L. Sangiovanni-vincentelli
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.
Journal:
Applied Mathematics and Computer Science
, vol. 17, no. 1, pp. 113-124, 2007
DOI:
10.2478/v10006-007-0011-6
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
zbc.uz.zgora.pl
)
(
versita.metapress.com
)
(
versita.metapress.com
)
(
www.informatik.uni-trier.de
)
(
dx.doi.org
)
(
matwbn.icm.edu.pl
)
More »
References
(24)
Global rebuilding of OBDD's avoiding memory requirement maxima
(
Citations: 3
)
Jochen Bern
,
Christoph Meinel
,
Anna Slobodovii
Journal:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - TCAD
, vol. 15, no. 1, pp. 131-134, 1996
Logic synthesis for large pass transistor circuits
(
Citations: 70
)
Premal Buch
,
Amit Narayan
,
A. Richard Newton
,
Alberto L. Sangiovanni-Vincentelli
Conference:
International Conference on Computer Aided Design - ICCAD
, pp. 663-670, 1997
Transforming boolean relations by symbolic encoding
(
Citations: 1
)
Gianpiero Cabodi
,
Stefano Quer
,
Paolo Camurati
Conference:
Conference on Correct Hardware Design and Verification Methods - CHARME
, pp. 161-170, 1995
An Exact Input Encoding Algorithm for BDDs Representing FSMs
(
Citations: 1
)
Wilsin Gosti
,
Alberto L. Sangiovanni-vincentelli
,
Tiziano Villa
,
Alexander Saldanha
Conference:
ACM Great Lakes Symposium on VLSI
, pp. 294-300, 1998
Linear Transformations and Exact Minimization of BDDs
(
Citations: 14
)
Wolfgang Günther
,
Rolf Drechsler
Conference:
ACM Great Lakes Symposium on VLSI
, pp. 325-330, 1998
Order by:
Citations
(2)
Sulfur-metabolizing bacterial populations in microbial mats of the Nakabusa hot spring, Japan
Kyoko Kubo
,
Katrin Knittel
,
Rudolf Amann
,
Manabu Fukui
,
Katsumi Matsuura
Journal:
Microprocessors and Microsystems
, vol. 34, no. 4, pp. 293-302, 2011
Experimental Aspects of Synthesis
Rüdiger Ehlers
Journal:
Electronic Proceedings in Theoretical Computer Science
, pp. 1-16, 2011