Íñigo Ugarte

12 papers C 3Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2021 J jnl
Pre-Silicon FEC Decoding Verification on SoC FPGAs.
IEEE Commun. Lett.
Víctor Fernández, Carlos Abad, Ángel Álvarez, Íñigo Ugarte, Pablo Sánchez
2019 — conf
Design Space Exploration in Heterogeneous Platforms Using OpenMP.
DCIS
Ángel Álvarez, Íñigo Ugarte, Víctor Fernández, Pablo Sánchez
2019 — conf
OpenMP Dynamic Device Offloading in Heterogeneous Platforms.
IWOMP
Ángel Álvarez, Íñigo Ugarte, Víctor Fernández, Pablo Sánchez
2012 J jnl
Towards automated implementation of adaptive systems from abstract SystemC specifications - From SystemC adaptive processes to embedded software and to synthesizable hardware descriptions.
Des. Autom. Embed. Syst.
Fernando Herrera, Íñigo Ugarte, Eugenio Villar
2008 — conf
Optimized coverage-directed random simulation.
HLDVT
Íñigo Ugarte, Pablo Sanchez
2006 C conf
Assertion checking of control dominated systems with nonlinear solvers.
MEMOCODE
Íñigo Ugarte, Pablo Sanchez
2006 — conf
Assertion-based Verification of Behavioral Descriptions with Non-linear Solver.
HLDVT
Íñigo Ugarte, Pablo Sanchez
2005 C conf
Assertion Checking of Behavioral Descriptions with Non-linear Solver.
ICCD
Íñigo Ugarte, Pablo Sanchez
2005 C conf
Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems.
MEMOCODE
Íñigo Ugarte, Pablo Sanchez
2005 — conf
Formal meaning of coverage metrics in simulation-based hardware design verification.
HLDVT
Íñigo Ugarte, Pablo Sanchez
2005 J jnl
Verification of Embedded Systems Based on Interval Analysis.
Int. J. Parallel Program.
Íñigo Ugarte, Pablo Sanchez
2003 — conf
Functional vector generation for assertion-based verification at behavioral level using interval analysis.
HLDVT
Íñigo Ugarte, Pablo Sanchez