Iñigo Ugarte

Publication Activity (10 Years)

Years Active: 2003-2012
Publications (10 Years): 0

Top Topics

Development Projects

Sequence Diagrams

Adaptive Systems

Context Sensitive

Top Venues

Des. Autom. Embed. Syst.

Publications

Fernando Herrera, Iñigo Ugarte, Eugenio Villar
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. 16 (3) (2012)
Iñigo Ugarte, Pablo Sanchez
Optimized coverage-directed random simulation. HLDVT (2008)
Iñigo Ugarte, Pablo Sanchez
Assertion checking of control dominated systems with nonlinear solvers. MEMOCODE (2006)
Iñigo Ugarte, Pablo Sanchez
Assertion-based Verification of Behavioral Descriptions with Non-linear Solver. HLDVT (2006)
Iñigo Ugarte, Pablo Sanchez
Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems. MEMOCODE (2005)
Iñigo Ugarte, Pablo Sanchez
Verification of Embedded Systems Based on Interval Analysis. Int. J. Parallel Program. 33 (6) (2005)
Iñigo Ugarte, Pablo Sanchez
Assertion Checking of Behavioral Descriptions with Non-linear Solver. ICCD (2005)
Iñigo Ugarte, Pablo Sanchez
Formal meaning of coverage metrics in simulation-based hardware design verification. HLDVT (2005)
Iñigo Ugarte, Pablo Sanchez
Functional vector generation for assertion-based verification at behavioral level using interval analysis. HLDVT (2003)