NombreViejo Cortés, Julián
DepartamentoTecnología Electrónica
Área de conocimientoTecnología Electrónica
Categoría profesionalProfesor Contratado Doctor
Correo electrónicoSolicitar
           
  • Nº publicaciones

    53

  • Nº visitas

    4969

  • Nº descargas

    14126


 

Artículo
Icon

IRIS: An embedded secure boot for IoT devices

Cano Quiveu, Germán; Ruiz de Clavijo Vázquez, Paulino; Bellido Díaz, Manuel Jesús; Juan Chico, Jorge; Viejo Cortés, Julián (Elsevier, 2023)
This study proposes a hardware secure boot solution, an instant retrieval information system (IRIS) that is suitable for ...
Ponencia
Icon

Virtualization environment for IT labs development and assessment

Viejo Cortés, Julián; Ruiz de Clavijo Vázquez, Paulino; Ostúa Arangüena, Enrique; Cano Quiveu, Germán; Juan Chico, Jorge (IEE Xplore, 2022)
In this contribution, the advantages of using a virtualization platform for IT laboratories is demonstrated. The platform ...
Patente. Invención
Icon

Dispositivo electrónico calculador de funciones trigonométricas y usos del mismo

Guerrero Martos, David; Millán Calderón, Alejandro; Juan Chico, Jorge; Viejo Cortés, Julián; Bellido Díaz, Manuel Jesús; Ruiz de Clavijo Vázquez, Paulino; Ostúa Arangüena, Enrique (Oficina Española de Patentes y Marcas (OEPM), 2021)
Dispositivo electrónico calculador de funciones trigonométricas y usos del mismo. En este documento se detalla un ...
Artículo
Icon

Embedded LUKS (E-LUKS): A Hardware Solution to IoT Security

Cano Quiveu, Germán; Ruiz de Clavijo Vázquez, Paulino; Bellido Díaz, Manuel Jesús; Juan Chico, Jorge; Viejo Cortés, Julián; Guerrero Martos, David; Ostúa Arangüena, Enrique (MDPI, 2021)
The Internet of Things (IoT) security is one of the most important issues developers have to face. Data tampering must be ...
Artículo
Icon

An Integrated Digital System Design Framework With On-Chip Functional Verification and Performance Evaluation

Cano Quiveu, Germán; Ruiz de Clavijo Vázquez, Paulino; Bellido Díaz, Manuel Jesús; Guerrero Martos, David; Viejo Cortés, Julián; Juan Chico, Jorge (IEEE Computer Society, 2021)
This paper introduces a design and on-chip verification framework for IPCores in FPGA platforms. The methodology of the ...
Artículo
Icon

Using the complement of the cosine to compute trigonometric functions

Guerrero Martos, David; Millán Calderón, Alejandro; Juan Chico, Jorge; Viejo Cortés, Julián; Bellido Díaz, Manuel Jesús; Ruiz de Clavijo Vázquez, Paulino; Ostúa Arangüena, Enrique (Springer, 2020)
The computation of the sine and cosine functions is required in devices ranging from application-specific signal processors ...
Artículo
Icon

Address encoded byte order

Guerrero Martos, David; Cano Quiveu, Germán; Juan Chico, Jorge; Millán Calderón, Alejandro; Bellido Díaz, Manuel Jesús; Viejo Cortés, Julián; Ruiz de Clavijo Vázquez, Paulino; Ostúa Arangüena, Enrique (Elsevier B.V., 2020)
Unaligned accesses are forbidden in many high-performance architectures. In most of these architectures, the least significant ...
Ponencia
Icon

Experiencia en la adaptación de una asignatura de máster para su impartición completa a distancia

Viejo Cortés, Julián; Carrasco Muñoz, Alejandro; Juan Chico, Jorge; Ruiz de Clavijo Vázquez, Paulino; Cano Quiveu, Germán (Instituto Superior de Engenharia do Porto (ISEP), 2020)
En la Sociedad de la Información actual, Internet está presente en la mayoría de las actividades cotidianas que realizan ...
Artículo
Icon

High-Performance Time Server Core for FPGA System-on-Chip

Viejo Cortés, Julián; Juan Chico, Jorge; Bellido Díaz, Manuel Jesús; Ruiz de Clavijo Vázquez, Paulino; Guerrero Martos, David; Ostúa Arangüena, Enrique; Cano Quiveu, Germán (MDPI, 2019)
This paper presents the complete design and implementation of a low-cost, low-footprint, network time protocol server core ...
Patente. Invención
Icon

Circuito electrónico digital para el cálculo de senos y cosenos de múltiplos de un ángulo

Guerrero Martos, David; Viejo Cortés, Julián; Ruiz de Clavijo Vázquez, Paulino; Juan Chico, Jorge; Bellido Díaz, Manuel Jesús; Millán Calderón, Alejandro; Ostúa Arangüena, Enrique; Villar de Ossorno, José Ignacio; Quirós Carmona, Juan; Muñoz Rivera, Alejandro (Oficina Española de Patentes y Marcas (OEPM), 2018)
Circuito electrónico pare el cálculo de los senos y cosenos de múltiplos de un ángulo que permite implementar eficientemente el cómputo de loe factores de twiddle de la transformada de Fourier.
Artículo
Icon

Minimalistic SDHC-SPI hardware reader module for boot loader applications

Ruiz de Clavijo Vázquez, Paulino; Ostúa Arangüena, Enrique; Bellido Díaz, Manuel Jesús; Juan Chico, Jorge; Viejo Cortés, Julián; Guerrero Martos, David (Elsevier, 2017)
This paper introduces a low-footprint full hardware boot loading solution for FPGA-based Programmable Systems on Chip. The ...
Tesis Doctoral
Icon

Implementación sobre hardware reconfigurable de una arquitectura no determinista, paralela y distribuida de alto rendimiento, basada en modelos de computación con membranas

Quirós Carmona, Juan; Millán Calderón, Alejandro; Viejo Cortés, Julián (2016)
En este documento se presenta el trabajo de tesis doctoral realizado dentro del Programa de Doctorado “Informática Industrial” ...
Ponencia
Icon

Metodología PBL en modo colaborativo aplicada al diseño de un SoC

Ruiz de Clavijo Vázquez, Paulino; Juan Chico, Jorge; Viejo Cortés, Julián; Bellido Díaz, Manuel Jesús; Ostúa Arangüena, Enrique; Barrero, Federico; Juan Chico, Jorge; Viejo Cortés, Julián; Jiménez Fernández, Carlos Jesús; Toral, S. L.; Millán Calderón, Alejandro (Universidad de Sevilla, 2016)
Dado el carácter principalmente práctico en las asignaturas de los másteres universitarios la metodología PBL es ampliamente ...
Ponencia
Icon

Creación de carteles autoexplicativos para laboratorios de electrónica

Jiménez Fernández, Carlos Jesús; Parra Fernández, María del Pilar; Baena Oliva, María del Carmen; Valencia Barrero, Manuel; Barrero, Federico; Juan Chico, Jorge; Viejo Cortés, Julián; Jiménez Fernández, Carlos Jesús; Toral, S. L.; Millán Calderón, Alejandro (Universidad de Sevilla, 2016)
Se presenta un proyecto cuyo objetivo ha sido ha sido la creación de carteles que, a modo de tutoriales resumidos, muestran ...
Ponencia
Icon

Procesamiento de bioseñales: un enfoque práctico

Merino Monge, Manuel; Gómez González, Isabel María; Molina Cantero, Alberto Jesús; Barrero, Federico; Juan Chico, Jorge; Viejo Cortés, Julián; Jiménez Fernández, Carlos Jesús; Toral, S. L.; Millán Calderón, Alejandro (Universidad de Sevilla, 2016)
La disciplina de procesamiento de bioseñales aparca un amplio y complejo espectro de conocimientos. El diseño de sesiones ...
Ponencia
Icon

Aplicaciones docentes del diseño de un pico-procesador

Jiménez Fernández, Carlos Jesús; Baena Oliva, María del Carmen; Parra Fernández, María del Pilar; Valencia Barrero, Manuel; Barrero, Federico; Juan Chico, Jorge; Viejo Cortés, Julián; Jiménez Fernández, Carlos Jesús; Toral, S. L.; Millán Calderón, Alejandro (Universidad de Sevilla, 2016)
El conocimiento de la estructura interna y del mecanismo de funcionamiento de microprocesadores es una parte muy importante ...
Ponencia
Icon

Metodología de evaluación continua para grupos numerosos en Procesamiento de Señales Multimedia

Molina Cantero, Alberto Jesús; Mora-Merchán, Javier María; Cabrera Cabrera, Rafael; Rivera Romero, Octavio; Gómez González, Isabel María; Merino Monge, Manuel; Barrero, Federico; Juan Chico, Jorge; Viejo Cortés, Julián; Jiménez Fernández, Carlos Jesús; Toral, S. L.; Millán Calderón, Alejandro (Universidad de Sevilla, 2016)
La asignatura de Procesamiento de Señales Multimedia utiliza una metodología de evaluación continua consistente en la ...
Ponencia
Icon

Building a basic membrane computer

Millán Calderón, Alejandro; Viejo Cortés, Julián; Quirós Carmona, Juan; Bellido Díaz, Manuel Jesús; Guerrero Martos, David; Ostúa Arangüena, Enrique (Fénix, 2016)
In this work, we present the building of two well-known membrane com- puters (squares generator and divisor test). Although ...
Artículo
Icon

Fast Hardware Implementations of Static P Systems

Quirós Carmona, Juan; Verlan, Sergey; Viejo Cortés, Julián; Millán Calderón, Alejandro; Bellido Díaz, Manuel Jesús (2016)
In this article we present a simulator of non-deterministic static P systems using Field Programmable Gate Array (FPGA) ...
Ponencia
Icon

evercodeML: a formal language for SoC integration

Villar de Ossorno, José Ignacio; Juan Chico, Jorge; Guerrero Martos, David; Bellido Díaz, Manuel Jesús; Viejo Cortés, Julián (IEEE Computer Society, 2015)
Complex SoC design devote a great part of the developing time to module integration tasks. The necessity of automating ...
Ponencia
Icon

Application of virtualization technology to the study of quality of service techniques

Quirós Carmona, Juan; Ruiz de Clavijo Vázquez, Paulino; Carrasco Muñoz, Alejandro; Viejo Cortés, Julián; Millán Calderón, Alejandro (IEEE Computer Society, 2014)
In this article, the teaching of quality of service mechanisms in packet-switched networks is presented. To this end, a ...
Ponencia
Icon

Aplicación de la Virtualización al estudio de técnicas de Calidad de Servicio - QoS

Quirós Carmona, Juan; Ruiz de Clavijo Vázquez, Paulino; Carrasco Muñoz, Alejandro; Viejo Cortés, Julián; Millán Calderón, Alejandro (Universidad de Deusto, 2014)
Este trabajo abarca la aplicación de técnicas de calidad de servicio en redes de conmutación de paquetes. Para ello se ...
Artículo
Icon

NanoFS: a hardware-oriented file system

Ruiz de Clavijo Vázquez, Paulino; Ostúa Arangüena, Enrique; Juan Chico, Jorge; Bellido Díaz, Manuel Jesús; Viejo Cortés, Julián; Guerrero Martos, David (IEEE Computer Society, 2013)
NanoFS is a novel file system for embedded systems and storage-class memories (like flash) and is specially designed to be ...
Ponencia
Icon

Implementación de un procesador académico simple así como de un entorno de programación y depuración para el mismo

Ruiz, J.; Guerrero Martos, David; Gómez González, Isabel María; Viejo Cortés, Julián (Universidad Politécnica de Madrid, 2012)
En este trabajo se desarrolla un procesador académico para su uso en la asignatura Estructura de Computadores de primer ...
Capítulo de Libro
Icon

Network Time Synchronization: A Full Hardware Approach

Juan Chico, Jorge; Viejo Cortés, Julián; Bellido Díaz, Manuel Jesús (Springer, 2012)
Complex digital systems are typically built on top of several abstraction levels: digital, RTL, computer, operating system ...
Artículo
Icon

Long-term on-chip verification of systems with logical events scattered in time

Viejo Cortés, Julián; Villar de Ossorno, José Ignacio; Juan Chico, Jorge; Millán Calderón, Alejandro; Ostúa Arangüena, Enrique; Quirós Carmona, Juan (Elsevier, 2012)
Traditional on-chip and off-chip logic analyzers present important shortcomings when used for the longterm verification ...
Ponencia
Icon

Implementation of a hardware and software framework for a simple academic processor

Ruiz Páez, Jonathan; Guerrero Martos, David; Gómez González, Isabel María; Viejo Cortés, Julián (IEEE Computer Society, 2012)
An academic processor to be used in the “Computer Structure” subject has been developed in this work. During the lab ...
Tesis Doctoral
Icon

Diseño e Implementación sobre FPGA de Sistemas Digitales de bajo coste para la Sincronización de Equipos sobre Redes de Comunicación usando el protocolo SNTP

Viejo Cortés, Julián; Juan Chico, Jorge; Millán Calderón, Alejandro (2011)
En este documento se presenta el trabajo de tesis doctoral realizado dentro del Programa de Doctorado "Informática Industrial" ...
Ponencia
Icon

Implementation of a configuration server for a hardware SNTP synchronization platform based on FPGA

Quirós Carmona, Juan; Viejo Cortés, Julián; Millán Calderón, Alejandro; Muñoz Rivera, Alejandro; Villar de Ossorno, José Ignacio; Guerrero Martos, David (IEEE Computer Society, 2011)
This paper presents the implementation of a configuration server for a SNTP synchronization platform which implements accurate ...
Artículo
Icon

Fast-Convergence Microsecond-Accurate Clock Discipline Algorithm for Hardware Implementation

Viejo Cortés, Julián; Juan Chico, Jorge; Bellido Díaz, Manuel Jesús; Millán Calderón, Alejandro; Ruiz de Clavijo Vázquez, Paulino (IEEE Computer Society, 2011)
Discrete microprocessor-based equipment is a typical synchronization system on the market which implements the most ...
Ponencia
Icon

Python as a hardware description language: A case study

Villar de Ossorno, José Ignacio; Juan Chico, Jorge; Bellido Díaz, Manuel Jesús; Viejo Cortés, Julián; Guerrero Martos, David; Decaluwe, J. (IEEE Computer Society, 2011)
Many people may see the development of software and hardware like different disciplines. However, there are great similarities ...
Ponencia
Icon

Design and implementation of a suitable core for on-chip long-term verification

Viejo Cortés, Julián; Villar de Ossorno, José Ignacio; Juan Chico, Jorge; Millán Calderón, Alejandro; Bellido Díaz, Manuel Jesús; Ostúa Arangüena, Enrique (IEEE Computer Society, 2010)
Traditional on-chip and off-chip logic analyzers present important shortcomings when used for the long-term verification ...
Ponencia
Icon

Implementación sobre FPGA de un cliente SNTP de bajo coste y alta precisión

Viejo Cortés, Julián; Juan Chico, Jorge; Ostúa Arangüena, Enrique; Millán Calderón, Alejandro; Ruiz de Clavijo Vázquez, Paulino; Villar de Ossorno, José Ignacio; Quirós Carmona, Juan (Universidad de Alcalá, 2009)
Este trabajo presenta el diseño y la implementación sobre FPGA de un cliente SNTP compacto, de bajo coste y alta precisión, ...
Ponencia
Icon

Digital Data Processing Peripheral Design for an Embedded Application based on the Microblaze Soft Core

Ostúa Arangüena, Enrique; Viejo Cortés, Julián; Bellido Díaz, Manuel Jesús; Millán Calderón, Alejandro; Juan Chico, Jorge; Muñoz Rivera, Alejandro (IEEE Computer Society, 2008)
In this paper we present a design of a peripheral for MicroBlaze soft core processor as part of a R+D project carried out ...
Ponencia
Icon

La primera experiencia en el diseño de sistemas digitales sobre FPGAs

Viejo Cortés, Julián; Ostúa Arangüena, Enrique; Bellido Díaz, Manuel Jesús; Juan Chico, Jorge; Guerrero Martos, David; Muñoz, A. (Universidad Politécnica de Madrid, 2008)
Se presenta una práctica de introducción al diseño de sistemas digitales sobre FPGAs. El objetivo es que se pueda realizar ...
Capítulo de Libro
Icon

Power Dissipation Associated to Internal Effect Transitions in Static CMOS Gates

Millán Calderón, Alejandro; Juan Chico, Jorge; Bellido Díaz, Manuel Jesús; Guerrero Martos, David; Ruiz de Clavijo Vázquez, Paulino; Viejo Cortés, Julián (Springer, 2008)
Power modeling techniques have traditionally neglected the main part of the energy consumed in the internal nodes of static ...
Ponencia
Icon

Desarrollo de una interfaz RS-232 para el manejo de un coche de radiocontrol desde el PC

Muñoz Rivera, Alejandro; Millán Calderón, Alejandro; Ruiz de Clavijo Vázquez, Paulino; Viejo Cortés, Julián; Ostúa Arangüena, Enrique; Guerrero Martos, David (Universidad de Zaragoza, 2008)
Este trabajo presenta el desarrollo de un sistema de radiocontrol para un coche teledirigido. Se trata de un circuito que, ...
Ponencia
Icon

Implementation of a FFT/IFFT Module on FPGA: Comparison of Methodologies

Viejo Cortés, Julián; Millán Calderón, Alejandro; Bellido Díaz, Manuel Jesús; Ostúa Arangüena, Enrique; Ruiz de Clavijo Vázquez, Paulino; Muñoz Rivera, Alejandro (IEEE Computer Society, 2008)
In this work, we have compared three different methodologies for the implementation of a FFT/IFFT module on FPGA: VHDL ...
Ponencia
Icon

Design and Implementation of a SNTP Client on FPGA

Viejo Cortés, Julián; Juan Chico, Jorge; Bellido Díaz, Manuel Jesús; Ostúa Arangüena, Enrique; Millán Calderón, Alejandro; Ruiz de Clavijo Vázquez, Paulino; Muñoz Rivera, Alejandro; Guerrero Martos, David (IEEE Computer Society, 2008)
This contribution presents the design and implementation of a SNTP client module suitable for IEC 61850 environments fully ...
Ponencia
Icon

Design of a FFT/IFFT module as an IP core suitable for embedded systems

Viejo Cortés, Julián; Millán Calderón, Alejandro; Bellido Díaz, Manuel Jesús; Juan Chico, Jorge; Ruiz de Clavijo Vázquez, Paulino; Guerrero Martos, David; Ostúa Arangüena, Enrique; Muñoz Blanco, Antonio (IEEE Computer Society, 2007)
In this work, we have laid the foundations that allow us to accomplish the implementation of a FFT/IFFT module as an IP ...
Capítulo de Libro
Icon

Static Power Consumption in CMOS Gates Using Independent Bodies

Guerrero Martos, David; Millán Calderón, Alejandro; Juan Chico, Jorge; Bellido Díaz, Manuel Jesús; Ruiz de Clavijo Vázquez, Paulino; Ostúa Arangüena, Enrique; Viejo Cortés, Julián (Springer, 2007)
It has been reported that the use of independent body terminals for series transistors in static bulk-CMOS gates improves ...
Ponencia
Icon

Automatic logic synthesis for parallel alternating latches clocking schemes

Guerrero Martos, David; Bellido Díaz, Manuel Jesús; Juan Chico, Jorge; Millán Calderón, Alejandro; Ruiz de Clavijo Vázquez, Paulino; Ostúa Arangüena, Enrique; Viejo Cortés, Julián (SPIE Digital Library, 2007)
This paper proposes a VHDL coding technique that allows for the automatic synthesis of digital circuits using the so called ...
Ponencia
Icon

A SoC Design Methodology for LEON2 on FPGA

Ostúa Arangüena, Enrique; Juan Chico, Jorge; Viejo Cortés, Julián; Bellido Díaz, Manuel Jesús; Guerrero Martos, David; Millán Calderón, Alejandro; Ruiz de Clavijo Vázquez, Paulino (IBERCHIP, 2006)
SoC design methodologies show up as a natural and productive method to implement embedded and/or ubiquitous systems. The ...
Ponencia
Icon

Diseño e implantación de SoPC basados en el microprocesador PicoBlaze

Viejo Cortés, Julián; Ostúa Arangüena, Enrique; Bellido Díaz, Manuel Jesús; Juan Chico, Jorge; Millán Calderón, Alejandro; Ruiz de Clavijo Vázquez, Paulino; Guerrero Martos, David (Universidad Politécnica de Madrid, 2006)
Con este trabajo pretendemos realizar una aportación a la docencia de la materias que cu bren el diseño de SoPC (System ...
Ponencia
Icon

Efficient Design and Implementation on FPGA of a MicroBlaze Peripheral for Processing Direct Electrical Networks Measurements

Viejo Cortés, Julián; Bellido Díaz, Manuel Jesús; Millán Calderón, Alejandro; Ostúa Arangüena, Enrique; Juan Chico, Jorge; Ruiz de Clavijo Vázquez, Paulino; Guerrero Martos, David (IEEE Computer Society, 2006)
This contribution successfully accomplished the design and implementation of an advanced DSP circuit for direct measurements ...
Ponencia
Icon

Diseño e Implementación Óptima de Periféricos de DSP con System Generator para Microblaze

Viejo Cortés, Julián; Ostúa Arangüena, Enrique; Bellido Díaz, Manuel Jesús; Juan Chico, Jorge; Millán Calderón, Alejandro; Ruiz de Clavijo Vázquez, Paulino; Guerrero Martos, David (IBERCHIP, 2006)
Con este trabajo pretendemos analizar como se lleva a cabo el diseño de periféricos de DSP utilizando uno de los nuevos ...
Ponencia
Icon

Desarrollo en VHDL de un filtro digital genérico basado en estructuras canónicas.

Álvarez, A.; Millán Calderón, Alejandro; Bellido Díaz, Manuel Jesús; Juan Chico, Jorge; Ruiz de Clavijo Vázquez, Paulino; Guerrero Martos, David; Ostúa Arangüena, Enrique; Viejo Cortés, Julián (Universidad Politécnica de Madrid, 2006)
Este trabajo abarca la realización de un filtro digital a bajo nivel. El diseño propuesto se basa en la utilización de un ...
Artículo
Icon

Automated performance evaluation of skew-tolerant clocking schemes

Guerrero Martos, David; Bellido Díaz, Manuel Jesús; Juan Chico, Jorge; Millán Calderón, Alejandro; Ruiz de Clavijo Vázquez, Paulino; Ostúa Arangüena, Enrique; Viejo Cortés, Julián (Taylor and Francis Online, 2006)
In this paper the authors evaluate the timing and power performance of three skew-tolerant clocking schemes. These schemes ...
Ponencia
Icon

Diseño e implementación de SOPC basados en el microprocesador Picoblaze

Viejo Cortés, Julián; Ostúa Arangüena, Enrique; Bellido Díaz, Manuel Jesús; Juan Chico, Jorge; Millán Calderón, Alejandro; Ruiz de Clavijo Vázquez, Paulino; Guerrero Martos, David (Universidad Politécnica de Madrid, 2006)
Con este trabajo pretendemos realizar una aportación a la docencia de la materias que cubren el diseño de SoPC (System on ...
Ponencia
Icon

Efficient Design of a FFT/IFFT-64 Module on ASIC

Millán Calderón, Alejandro; Bellido Díaz, Manuel Jesús; Juan Chico, Jorge; Ruiz de Clavijo Vázquez, Paulino; Guerrero Martos, David; Ostúa Arangüena, Enrique; Viejo Cortés, Julián (IBERCHIP, 2005)
In this work we present the VHDL implementation of a FFT/IFFT-64 module. This implementation: (a) is relatively quick and ...
Artículo
Icon

Application of Internode model to global power consumption estimation in SCMOS gates

Millán Calderón, Alejandro; Bellido Díaz, Manuel Jesús; Juan Chico, Jorge; Ruiz de Clavijo Vázquez, Paulino; Guerrero Martos, David; Ostúa Arangüena, Enrique; Viejo Cortés, Julián (Springer, 2005)
In this paper, we present a model, Internode, that unifies the gate functional behavior and the dynamic one. It is based ...
Ponencia
Icon

Algorithms to get the maximum operation frequency for skew-tolerant clocking schemes

Guerrero Martos, David; Bellido Díaz, Manuel Jesús; Juan Chico, Jorge; Millán Calderón, Alejandro; Ruiz de Clavijo Vázquez, Paulino; Ostúa Arangüena, Enrique; Viejo Cortés, Julián (Society of Photo-Optical Instrumentation Engineers (SPIE), 2005)
Nowadays it is not possible to neglect the delay of interconnection lines. The die size is rising very fast, and the delay ...
Capítulo de Libro
Icon

Logic-Level Fast Current Simulation for Digital CMOS Circuits

Ruiz de Clavijo Vázquez, Paulino; Juan Chico, Jorge; Bellido Díaz, Manuel Jesús; Millán Calderón, Alejandro; Guerrero Martos, David; Ostúa Arangüena, Enrique; Viejo Cortés, Julián (Springer, 2005)
Nowadays, verification of digital integrated circuit has been focused more and more from the timing and area field to ...