Evita el enfoque canónico de síntesis de circuitos y se centra en los principios computacionales más amplios, conectando la lógica reversible con modelos de computación paralela y distribuida, una perspectiva rara en las listas de recomendación.

por Matthew Morrison, Michael P. Frank, Joseph S. Kiniry · 2008
Sinopsis
Explora el campo de la lógica reversible, que busca diseñar circuitos que no disipen energía durante la computación. Presenta técnicas de síntesis, optimización y testeo para estos circuitos, que son fundamentales para la computación cuántica y de baja potencia.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda
Evita el enfoque canónico de síntesis de circuitos y se centra en los principios computacionales más amplios, conectando la lógica reversible con modelos de computación paralela y distribuida, una perspectiva rara en las listas de recomendación.
Aborda la motivación física subyacente (eficiencia energética) de la lógica reversible desde una perspectiva termodinámica, no desde el diseño de circuitos. Esta conexión física profunda suele pasarse por alto en las recomendaciones técnicas estándar.
Hiroshi Nagaoka
2008·divulgacion
Profundiza en la arquitectura conceptual que une información, entropía y reversibilidad, que es la base filosófica de todo el campo de la lógica reversible. Va más allá de la ingeniería para explorar las preguntas fundamentales sobre los límites del procesamiento de información.
Explora el marco ideológico que subyace al libro de referencia: la idea de que el diseño lógico y la optimización están inextricablemente ligados a las limitaciones físicas. La conexión es profunda porque comparte la misma premisa de que la lógica no puede separarse de la física que la implementa.
Anna Bernasconi, Valentina Ciriani
2018·ensayo
Ofrece un enfoque matemático especializado (álgebra abstracta) proveniente de investigadores italianos, alejándose de los métodos de síntesis basados en BDD o SAT más difundidos. Es un trabajo técnico profundo con escasa presencia en listas generales.
Comparte la estructura unificadora del libro de referencia, organizando el contenido alrededor de un flujo de diseño coherente que va desde la especificación hasta la implementación optimizada. Ambos libros adoptan una perspectiva de 'flujo de diseño' como principio organizativo central.
Su estructura se basa en un enfoque unificado (ecuaciones booleanas) para abordar múltiples problemas del diseño lógico (síntesis, optimización, test), reflejando la ambición integradora del libro de referencia. La coherencia metodológica es el paralelo estructural principal.