Have a personal or library account? Click to login

FSM Encoding for BDD Representations

International Journal of Applied Mathematics and Computer Science
Volume 17 (2007): Issue 1 (March 2007)
By:
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,
encoding,
finite state machine,
logic synthesis,
formal verification,
logic representation
Related subjects:
Mathematics,
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)