Descripción
Este libro analiza las principales tareas de la automatización del diseño para las tecnologías de la nanoinformática acoplada al campo (FCN), con el fin de permitir la composición a gran escala de bloques de construcción elementales, que obtienen sistemas correctos a partir de especificaciones de funciones dadas. Para ello, se describe un flujo de diseño holístico, que cubre el enrutamiento y la colocación exactos y escalables, la síntesis lógica de un solo paso, nuevos mecanismos de reloj para la sincronización de datos y la verificación formal de los diseños de circuitos obtenidos. Además, se presentan bases teóricas que sientan las bases para cualquier consideración algorítmica en el futuro. Además, se presenta un marco de diseño FCN de código abierto llamado Fiction, que contiene implementaciones de todas las técnicas propuestas y se pone a disposición del público. Los enfoques discutidos en este libro abordan obstáculos que han existido desde la conceptualización del paradigma FCN y no se han podido resolver desde entonces. Como resultado, este libro avanza sustancialmente el estado del arte en la automatización del diseño para las tecnologías FCN.
Autor: Marcel Walter, Robert Wille, Frank Sill Torres
Editorial: Springer
Publicado: 01/12/2023
Páginas: 196
Tipo de encuadernación: Tapa blanda
Peso: 0.67lbs
Tamaño: 9.21h x 6.14w x 0.45d
ISBN13: 9783030899547
ISBN10: 3030899543
Categorías BISAC:
- Tecnología e Ingeniería | Electrónica | Circuitos | General
Acerca del autor
Marcel Walter recibió su doctorado en Ciencias de la Computación de la Universidad de Bremen, Alemania, en 2021 por su trabajo sobre algoritmos para el diseño físico de nanotecnologías emergentes post-CMOS. Como parte del Centro de Investigación Colaborativa (Sonderforschungsbereich) 1320 "EASE - Everyday Activity Science and Engineering", también trabajó en la verificación de agentes robóticos autónomos en escenarios domésticos. Además, es el iniciador y mantenedor del marco de trabajo Fiction para la síntesis lógica, el diseño físico y la verificación de circuitos de nanoinformática acoplada al campo (FCN). Continuará su trabajo de investigación como posdoctorado en la Universidad Técnica de Múnich (TUM).
Robert Wille es Catedrático en la Universidad Johannes Kepler de Linz, Austria, y Director Científico en el Centro de Competencia de Software Hagenberg, Austria. Recibió los títulos de Diplomado y Dr.-Ing. en Informática de la Universidad de Bremen, Alemania, en 2006 y 2009, respectivamente. Desde entonces, trabajó en la Universidad de Bremen, el Centro Alemán de Investigación de Inteligencia Artificial (DFKI), la Universidad de Ciencias Aplicadas de Bremen, la Universidad de Potsdam y la Universidad Técnica de Dresde. Desde 2015, trabaja en Linz/Hagenberg. Sus intereses de investigación se centran en el diseño de circuitos y sistemas para tecnologías convencionales y emergentes. En estas áreas, ha publicado más de 350 artículos en revistas y conferencias y ha formado parte de consejos editoriales y comités de programa de numerosas revistas/conferencias como TCAD, ASP-DAC, DAC, DATE e ICCAD. Por su investigación, fue galardonado, por ejemplo, con una beca ERC Consolidator Grant, premios al mejor artículo, por ejemplo, en TCAD e ICCAD, un premio DAC Under-40 Innovator Award, un Google Research Award, y más.
Frank Sill Torres recibió los títulos de Diplomado y Dr.-Ing. en Ingeniería Eléctrica de la Universidad de Rostock, Alemania, en 2002 y 2007, respectivamente. De 2007 a 2010, fue Post-Doc en la Universidad Federal de Minas Gerais (UFMG), Brasil. De 2010 a 2018, trabajó en el Departamento de Ingeniería Electrónica de la UFMG como profesor de Microelectrónica. De 2018 a 2019, estuvo en el grupo de Sistemas Ciberfísicos del Centro Alemán de Investigación de Inteligencia Artificial (DFKI) en Bremen como Investigador Senior. En 2019, se unió al Centro Aeroespacial Alemán (DLR) en Bremerhaven, Alemania, como jefe del Departamento de Resiliencia de Sistemas Marítimos. Sus intereses de investigación actuales incluyen Sistemas Resilientes, Diseño para la Fiabilidad y Tecnologías Emergentes. Fue miembro de varios comités de conferencias, incluyendo DATE, ISCAS, LATS y MWSCAS, presidente del simposio SBCCI 2016 y 2, y fue Investigador Asociado del Consejo Nacional de Investigación de Brasil (CNPq) de 2014 a 2020.
Rolf Drechsler recibió los títulos de Diplomado y Dr. Phil. Nat. en ciencias de la computación de la Universidad J.W. Goethe de Fráncfort del Meno, Alemania, en 1992 y 1995, respectivamente. Trabajó en el Instituto de Ciencias de la Computación de la Universidad Albert-Ludwigs, Friburgo de Brisgovia, Alemania, de 1995 a 2000, y en el Departamento de Tecnología Corporativa de Siemens AG, Múnich, Alemania, de 2000 a 2001. Desde octubre de 2001, trabaja en la Universidad de Bremen, Bremen, Alemania, donde actualmente es Catedrático y Jefe del Grupo de Arquitectura de Computadoras del Instituto de Ciencias de la Computación. En 2011, además, se convirtió en Director del grupo de Sistemas Ciberfísicos del Centro Alemán de Investigación de Inteligencia Artificial (DFKI) en Bremen. Sus intereses de investigación actuales incluyen el desarrollo y diseño de estructuras de datos y algoritmos con un enfoque en el diseño de circuitos y sistemas. Es miembro de IEEE. Rolf Drechsler fue miembro de los Comités de Programa de numerosas conferencias, incluyendo, por ejemplo, DAC, ICCAD, DATE, ASP-DAC, FDL, MEMOCODE, FMCAD, presidente de los simposios ISMVL 1999 y 2014, presidente del simposio ETS 2018, y presidente temático de "Verificación Formal" DATE 2004, DATE 2005, DAC 2010, así como DAC 2011. Recibió premios al mejor artículo en la Conferencia de Verificación de Haifa (HVC) en 2006, el Foro de Especificación y Lenguajes de Diseño (FDL) en 2007 y 2010, el Simposio IEEE sobre Diseño y Diagnóstico de Circuitos y Sistemas Electrónicos (DDECS) en 2010 y la Conferencia Internacional IEEE/ACM sobre Diseño Asistido por Computadora (ICCAD) en 2013. Es Editor Asociado de IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, ACM Journal on Emerging Technologies in Computing Systems, y otras revistas.