FSM Encoding for BDD Representations Cover

.blurhash-client-img { display: none !important; }

FSM Encoding for BDD Representations

International Journal of Applied Mathematics and Computer Science

Volume 17 (2007): Issue 1 (March 2007)

By: Wilsin Gosti, Tiziano Villa, Alex Saldanha and Alberto Sangiovanni-Vincentelli

Open Access

|Apr 2007

Download Article

Download the full article as a PDF file.

DOI: https://doi.org/10.2478/v10006-007-0011-6 | Journal eISSN: 2083-8492 | Journal ISSN: 1641-876X

Journal RSS Feed

Language: English

Page range: 113 - 124

Published on: Apr 5, 2007

Published by: University of Zielona Góra

In partnership with: Paradigm Publishing Services

Publication frequency: 4 issues per year

Keywords:

binary decision diagram,

finite state machine,

logic synthesis,

formal verification,

logic representation

Related subjects:

Applied mathematics

© 2007 Wilsin Gosti, Tiziano Villa, Alex Saldanha, Alberto Sangiovanni-Vincentelli, published by University of Zielona Góra
This work is licensed under the Creative Commons License.

Volume 17 (2007): Issue 1 (March 2007)