Efficient techniques and methodologies for embedded system design usign free hardware and open standards. - Jose Ignacio Villar; Jorge Juan; Manuel J. Bellido (FPL, 2009)

Design and implementation of a suitable core for on-chip long-term verification. - Julian Viejo; Jose Ignacio Villar; Jorge Juan; Alejandro Millán 001; Manuel Jesús Bellido Díaz; Enrique Ostúa (SIES, 2010)

Long-term on-chip verification of systems with logical events scattered in time. - Julian Viejo; Jose Ignacio Villar; Jorge Juan; Alejandro Millán 001; Enrique Ostúa; Juan Quiros (Microprocess. Microsystems, 2012)