SPIE Proceedings [SPIE SPIE Microtechnologies - Prague, Czech Republic (Monday 18 April 2011)] VLSI Circuits and Systems V - Automatic vector generation guided by a functional metricUgarte, I.; Riesgo, Teresa; de la Torre-Arnanz, Eduardo; Sanchez, P. · 2011

[IEEE Comput. Soc 2005 International Conference on Computer Design - San Jose, CA, USA (2-5 Oct. 2005)] 2005 International Conference on Computer Design - Assertion checking of behavioral descriptions with nonlinear solverUgarte, I.; Sanchez, P. · 2005

[IEEE 2008 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Incline Village, NV, USA (2008.11.19-2008.11.21)] 2008 IEEE International High Level Design Validation and Test Workshop - Optimized coverage-directed random simulationUgarte, I.; Sanchez, P. · 2008

[IEEE 2006 IEEE International High Level Design Validation and Test Workshop - Monterey, CA, USA (2006.11.8-2006.11.10)] 2006 IEEE International High Level Design Validation and Test Workshop - Assertion-based Verification of Behavioral Descriptions with Non-linear SolverUgarte, I.; Sanchez, P. · 2006

[IEEE Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - Napa Valley, CA, USA (Nov. 30-Dec. 2, 2005)] Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - Formal meaning of coverage metrics in simulation-based hardware design verificationUgarte, I.; Sanchez, P. · 2005

[IEEE Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06) - Napa, CA, USA (27-30 July 2006)] Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. - Assertion checking of control dominated systems with nonlinear solversUgarte, I.; Sanchez, P. · 2006

[IEEE Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design - Verona, Italy (11-14 July 2005)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. - Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systemsUgarte, I.; Sanchez, P. · 2005