Cargando…
New data structures and algorithms for logic synthesis and verification
This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and futur...
Autor principal: | Amaru, Luca Gaetano |
---|---|
Lenguaje: | eng |
Publicado: |
Springer
2017
|
Materias: | |
Acceso en línea: | https://dx.doi.org/10.1007/978-3-319-43174-1 http://cds.cern.ch/record/2240412 |
Ejemplares similares
-
Logic synthesis and verification algorithms
por: Hachtel, Gary D
Publicado: (1996) -
Computer logic, testing and verification
por: Roth, John Paul
Publicado: (1980) -
Logic design algorithms
por: Zissos, D
Publicado: (1972) -
Advanced logic synthesis
por: Reis, André Inácio, et al.
Publicado: (2017) -
Accuracy verification methods: theory and algorithms
por: Mali, Olli, et al.
Publicado: (2014)