Román Hermida Correa

Depto. de Arquitectura de Computadores y Automática
Facultad de Informática
Universidad Complutense de Madrid

Docencia

Temas de investigación

(English)

Selección de publicaciones

Breve CV

Enlaces

Contacto

Docencia

Temas de investigación

Reconfigurable computing and reconfigurable architectures
Embedded systems
High-Level and Architectural Synthesis

[Ir a Investigación en el sitio web del Grupo ArTeCS-UCM]

Selección de publicaciones

[Descarga de artículos: Enlace al sitio web del Grupo ArTeCs-UCM]

R. Maestre, F. J. Kurdahi, M. Fernandez, R. Hermida, N. Bagherzadeh, H. Singh, A Formal Approach to Context Scheduling for Multi-Context Reconfigurable Architectures, IEEE Transactions on VLSI Systems, Special Issue on Reconfigurable and Adaptive VLSI Systems, Vol. 9, No. 1, Feb. 2001, pp. 173-185.
R. Maestre, F. J. Kurdahi, M. Fernandez, R. Hermida, N. Bagherzadeh, H. Singh, A Framework for Reconfigurable Computing: Task Scheduling and Context Management, IEEE Transactions on VLSI Systems. Vol. 9, No. 6, Dec. 2001, pp. 858-873.
M. C. Molina, J.M. Mendías, R. Hermida, High-Level Synthesis of Multiple-Precision Circuits Independent of Data-Objects Length, ACM/IEEE Design Automation Conference (DAC'02), New Orleans, USA, 2002, pp. 612-615.
O. Peñalba, J.M. Mendías , R. Hermida, A Global Approach to Improve Conditional Hardware Reuse in High-Level Synthesis, Journal of Systems Architecture , Vol. 47, 2002, pp. 959-975.
J.M. Mendías, R. Hermida, O. Peñalba, A Study about the Efficiency of Formal High-Level Synthesis Applied to Verification, Integration, The VLSI Journal, Vol. 31, 2002, pp. 101-131.
M. C. Molina, J.M. Mendías, R. Hermida, Bit-Level Scheduling of Heterogeneous Behavioral Specifications, ACM/IEEE Intl. Conference on Computer Aided Design (ICCAD’02), San Jose, CA, USA, 2002
J. de Vicente, J. Lanchares, R. Hermida, Placement by Thermodynamic Simulated Annealing, Physics Letters A, Vol. 317 (2003), pp 415-423.
M.C. Molina, J.M. Mendías , R. Hermida, Behavioural specifications allocation to minimise bit level waste of functional units, IEE Proc.-Computers and Digital Techniques, Vol. 150, No. 5, September 2003, pp. 321-329
M. C. Molina, R. Ruiz-Sautua, J.M. Mendías, R. Hermida, "Behavioral Scheduling to Balance the Bit-Level Computational Effort", IEEE Computer Society Annual Symposium on VLSI (ISVLSI'04), Lafayette, LA, USA, 2004, pp. 99-104.
J. de Vicente, J. Lanchares, R. Hermida, Annealing placement by thermodynamic combinatorial optimization, ACM Transactions on Design Automation of Electronic Systems, Vol. 9, No. 3, Jul. 2004, pp. 310-332.
F. Rivera, M. Sanchez-Elez, M. Fernandez, R. Hermida , N. Bagherzadeh Efficient Mapping of Hierarchical Trees on Coarse-Grain Reconfigurable Architectures, 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, Stockholm, Sweden, 2004, pp. 30-35.
R. Ruiz-Sautua, M.C. Molina, J.M. Mendías, R. Hermida, Behavioural Transformation to Improve Circuit Performance in High-Level Synthesis, Design Automation and Test in Europe (DATE'05), Munich, Germany, 2005, pp.1252 - 1257
N. Genko, D. Atienza, G. De Micheli, J.M. Mendias, R. Hermida, F. Catthoor, A Complete Network-On-Chip Emulation Framework, Design Automation and Test in Europe (DATE'05), Munich, Germany, 2005, pp. 246-251
R. Ruiz-Sautua, M. C. Molina, J.M. Mendías, R. Hermida, Performance-driven Read-After-Write Dependencies Softening in High-Level Synthesis, ACM/IEEE Intl. Conference on Computer Aided Design (ICCAD’05), San Jose, CA, USA, 2005, pp. 7-12
M.C. Molina, R. Ruiz-Sautua, J.M. Mendías , R. Hermida, Bitwise Scheduling to Balance the Computational Cost of Behavioural Specifications, IEEE Transactions on Computer-Aided Design of Circuits and Systems, Vol. 25, No. 1, Jan. 2006, pp. 31-46
R. Ruiz-Sautua, M.C. Molina, J. M. Mendías, R. Hermida: Pre-synthesis optimization of multiplications to improve circuit performance, Desgin Automation and Test in Europe (DATE 2006), Munich, Germany, pp 1306-1311
José Luis Imaña, Román Hermida, Francisco Tirado, Low Complexity Bit-Parallel Multipliers Based on a Class of Irreducible Pentanomials, IEEE Transactions on VLSI Systems. 14(12): 1388-1393 (2006)
María C. Molina, Rafael Ruiz-Sautua, Jose Manuel Mendias, Román Hermida, Area optimization of multi-cycle operators in high-level synthesis, Design Automation and Test in Europe (DATE 2007), Nice, France, pp. 449-454
David Atienza, Pablo Garcia Del Valle, Giacomo Paci, Francesco Poletti, Luca Benini, Giovanni De Micheli, Jose Manuel Mendias, Román Hermida, HW-SW emulation framework for temperature-aware design in MPSoCs. ACM Trans. Design Autom. Electr. Syst. 12(3): (2007)
M. Sánchez-Élez, M. Fernández, N. Bagherzadeh, R. Hermida, F. Kurdahi, R. Maestre, A Coarse-Grain Dynamically Reconfigurable System and Compilation Framework, (in "Fine- and Coarse-Grain Reconfigurable Computing", S. Vassiliadis, D. Soudris, eds.), Springer, 2007, ISBN 978-1-4020-6504-0
F. Rivera, M. Sanchez-Elez, R. Hermida, N. Bagherzadeh, Scheduling Methodology for Conditional Execution of Kernels onto Multi-Context Reconfigurable Architectures, IET Computers & Digital Techniques , vol. 2, no. 3, pp.199-213, May 2008
María C. Molina, Rafael Ruiz-Sautua, Pedro Garcia-Repetto, Román Hermida: Frequent-Pattern-Guided Multilevel Decomposition of Behavioral Specifications. IEEE Trans. on CAD of Integrated Circuits and Systems 28(1): 60-73 (2009)
Marcos Sanchez-Elez, Nader Bagherzadeh, Román Hermida: A framework for low energy data management in reconfigurable multi-context architectures. Journal of Systems Architecture - Embedded Systems Design 55(2): 127-139 (2009)
Alberto A. Del Barrio, María C. Molina, Jose Manuel Mendias, Román Hermida, Seda Ogrenci Memik: Using Speculative Functional Units in high level synthesis. DATE 2010, Dreseden (Germany), 1779-1784
Alberto A. Del Barrio, Seda Ogrenci Memik, María C. Molina, Jose Manuel Mendias, Román Hermida: A Distributed Controller for Managing Speculative Functional Units in High Level Synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 30(3): 350-363 (2011)
Del Barrio, Alberto A.; Memik, Seda Ogrenci; Molina, Maria C.; Mendias, Jose M.; Hermida, Roman: Power optimization in heterogeneous datapaths DATE 2011, Grenoble (France), 1 - 6
Alberto A. Del Barrio, Román Hermida, Seda Ogrenci Memik, María C. Molina, José M. Mendías, Multispeculative Addition Applied to Datapath Synthesis, IEEE Transactions on Computer-Aided Design of Circuits and Systems, 31(12): 1817-1830 (2012)
Alberto A. Del Barrio, Roman Hermida, Seda Ogrenci Memik, Jose M. Mendias, Maria C. Molina, Multispeculative Additive Trees in High-Level Synthesis, DATE 2013, (accepted)
Más publicaciones ...

Breve CV

Román Hermida Correa obtuvo el grado de doctor en CC. Físicas en 1984 por la Universidad Complutense de Madrid. Desde 1994 es Catedrático de Universidad en el Departamento de Arquitectura de Computadores y Automática de la Universidad Complutense. Ha sido subdirector de la Escuela Superior de Informática de la UCM durante el periodo 1995-97 y director de la sección departamental de Arquitectura de Computadores y Automática de la misma universidad entre 1997 y 1999. Durante el periodo 1999-01 ha sido coordinador de los estudios de Ingeniería Técnica en Informática de Sistemas del Centro de Estudios Superiores Felipe II de Aranjuez. Entre julio de 2001 y junio de 2003 ha sido Vicerrector de Nuevas Tecnologías de la Universidad Complutense. En el período 2006-2010 ha sido Decano de la Facultad de Informática.

Desde 1987 ha estado involucrado en varios proyectos de investigación relacionados con la síntesis de alto nivel de sistemas digitales, y ha dirigido investigación en los siguientes proyectos:

Síntesis de alto nivel de arquitecturas digitales (CICYT, ene. 1990 – dic. 1992)
FIDIAS II: un sistema integrado de síntesis de alto nivel (CICYT, jul. 92 - jul. 95)
Nuevas metodologías para la automatización del diseño de sistemas (CICYT, ago. 96 - ago. 99)
Compilación de aplicaciones DSP para sistemas reconfigurables (comisión intercambio cultural hispano-norteamericano (Fulbright), proyecto conjunto UCM - U. California, mayo 2000 - nov. 2001)
Nuevas metodologías para la verificación y diseño de alto nivel (CICYT, ene. 2000 – dic. 2002)
Tecnologías hardware/software para sistemas de alto rendimiento (CICYT, dic. 2002 - dic. 2005)
Arquitectura hw/sw para sistemas de alto rendimiento (CICYT, dic. 2005- dic. 2008)
Arquitectura hardware/software para sistemas de alto rendimiento II (CICYT, ene. 2009 - dic. 2013)

Durante el periodo 1994-98 ha sido coordinador adjunto de una red integrada por nueve laboratorios de cinco países, financiada por la Unión Europea, dentro del programa HCM, con el objetivo de desarrollar nuevas metodologías de diseño para sistemas digitales. El Prof. Hermida ha sido revisor y miembro del comité de programa de numerosos congresos internacionales, y ha sido presidente de sesión en varias de sus ediciones. También ha ejercido como Program Chairman del “IEEE/ACM 13^th International Symposium on System Synthesis” (Madrid, 2000) y General Chairman del “IEEE/ACM14^th International Symposium on System Synthesis” (Montreal, 2001).

Ha sido distinguido con el "2002 VLSI Transactions Best Paper Award", otorgado al mejor artículo publicado en la revista IEEE Trans. on VLSI Systems en el año anterior. Es miembro senior del IEEE y pertenece al comité directivo de la "IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis". Además es autor de numerosas publicaciones en revistas y congresos internacionales en el campo de la automatización del diseño de sistemas digitales, incluyendo: DAC, ICCAD, DATE, ED&TC, Euromicro, IEEE Transactions on VLSI Systems, ACM Transactions on Design Automation of Electronic Systems, Integration, the VLSI Journal, Journal of Systems Architecture, Physics Letters A, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, etc.

Ha actuado como evaluador para la ANEP y la CICYT. También ha presidido Comités Externos de Evaluación dentro del Plan Nacional de Evaluación de la Calidad de las Universidades. Ha sido profesor visitante en la Escuela Politécnica Federal de Lausana (Suiza).

Enlaces

Universidad Complutense:

Congresos:

Contacto