Iniciar sesión
Registrarse
Restablecer contraseña
Publicar y Distribuir
Soluciones de Publicación
Soluciones de Distribución
Temas
Arquitectura y diseño
Artes
Ciencias Sociales
Ciencias de la Información y Bibliotecas, Estudios del Libro
Ciencias de la vida
Ciencias de los materiales
Deporte y tiempo libre
Estudios clásicos y del Cercano Oriente antiguo
Estudios culturales
Estudios judíos
Farmacia
Filosofía
Física
Geociencias
Historia
Informática
Ingeniería
Interés general
Ley
Lingüística y semiótica
Literatura
Matemáticas
Medicina
Música
Negocios y Economía
Química
Química industrial
Teología y religión
Publicaciones
Revistas
Libros
Actas
Editoriales
Blog
Contacto
Buscar
EUR
USD
GBP
Español
English
Deutsch
Polski
Español
Français
Italiano
Carrito
Home
Revistas
International Journal of Applied Mathematics and Computer Science
Volumen 17 (2007): Edición 1 (March 2007)
Acceso abierto
FSM Encoding for BDD Representations
Wilsin Gosti
Wilsin Gosti
,
Tiziano Villa
Tiziano Villa
,
Alex Saldanha
Alex Saldanha
y
Alberto Sangiovanni-Vincentelli
Alberto Sangiovanni-Vincentelli
| 05 abr 2007
International Journal of Applied Mathematics and Computer Science
Volumen 17 (2007): Edición 1 (March 2007)
Acerca de este artículo
Artículo anterior
Artículo siguiente
Resumen
Referencias
Autores
Artículos en este número
Vista previa
PDF
Cite
Compartir
Publicado en línea:
05 abr 2007
Páginas:
113 - 124
DOI:
https://doi.org/10.2478/v10006-007-0011-6
Palabras clave
binary decision diagram
,
encoding
,
finite state machine
,
logic synthesis
,
formal verification
,
logic representation
This content is open access.
Wilsin Gosti
Cadence Design Systems, 2655 Seely Avenue, San Jose, CA 95134
Tiziano Villa
Universita' di Verona, Ca' Vignal 2, Strada Le Grazie 15, 37134 Verona, Italy, tiziano.villa@univr.it
Alex Saldanha
Exponential Interactive, Inc., Emeryville, CA 94608, USA
Alberto Sangiovanni-Vincentelli
Department of Electrical Engineering and Computer Sience, University of California, Berkeley, CA 94720, USA