Íñigo Ugarte

According to our database, Íñigo Ugarte authored at least 12 papers between 2003 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Pre-Silicon FEC Decoding Verification on SoC FPGAs.

Víctor Fernández, Carlos Abad, Ángel Álvarez, Íñigo Ugarte, Pablo Sánchez

IEEE Commun. Lett., 2021

2019

OpenMP Dynamic Device Offloading in Heterogeneous Platforms.

Ángel Álvarez, Íñigo Ugarte, Víctor Fernández, Pablo Sánchez

Proceedings of the OpenMP: Conquering the Full Hardware Spectrum, 2019

Design Space Exploration in Heterogeneous Platforms Using OpenMP.

Ángel Álvarez, Íñigo Ugarte, Víctor Fernández, Pablo Sánchez

Proceedings of the XXXIV Conference on Design of Circuits and Integrated Systems, 2019

2012

Towards automated implementation of adaptive systems from abstract SystemC specifications - From SystemC adaptive processes to embedded software and to synthesizable hardware descriptions.

Fernando Herrera, Íñigo Ugarte, Eugenio Villar

Des. Autom. Embed. Syst., 2012

2008

Optimized coverage-directed random simulation.

Íñigo Ugarte, Pablo Sanchez

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2008

2006

Assertion checking of control dominated systems with nonlinear solvers.

Íñigo Ugarte, Pablo Sanchez

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

Assertion-based Verification of Behavioral Descriptions with Non-linear Solver.

Íñigo Ugarte, Pablo Sanchez

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

2005

Verification of Embedded Systems Based on Interval Analysis.

Íñigo Ugarte, Pablo Sanchez

Int. J. Parallel Program., 2005

Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems.

Íñigo Ugarte, Pablo Sanchez

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Assertion Checking of Behavioral Descriptions with Non-linear Solver.

Íñigo Ugarte, Pablo Sanchez

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Formal meaning of coverage metrics in simulation-based hardware design verification.

Íñigo Ugarte, Pablo Sanchez

Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005

2003

Functional vector generation for assertion-based verification at behavioral level using interval analysis.

Íñigo Ugarte, Pablo Sanchez

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003