| 2002 |
|---|
| 7 | EE | Olga Peñalba,
José M. Mendías,
Román Hermida:
Maximizing Conditonal Reuse by Pre-Synthesis Transformations.
DATE 2002: 1097 |
| 6 | EE | José M. Mendías,
Román Hermida,
María C. Molina,
Olga Peñalba:
Efficient Verification of Scheduling, Allocation and Binding in High-Level Synthesis.
DSD 2002: 308-315 |
| 5 | EE | Olga Peñalba,
José M. Mendías,
Román Hermida:
Source Code Transformation to Improve Conditional Hardware Reuse.
DSD 2002: 324-331 |
| 4 | EE | José M. Mendías,
Román Hermida,
Olga Peñalba:
A study about the efficiency of formal high-level synthesis applied to verification.
Integration 31(2): 101-131 (2002) |
| 2000 |
|---|
| 3 | EE | Olga Peñalba,
José M. Mendías,
María C. Molina:
Execution Condition Analysis in High Level Synthesis: A Unified Approach.
ISSS 2000: 73-78 |
| 1999 |
|---|
| 2 | EE | Olga Peñalba,
José M. Mendías,
Román Hermida:
A Unified Algorithm for Mutual Exclusiveness Identification.
EUROMICRO 1999: 1504-1510 |
| 1998 |
|---|
| 1 | EE | Serafín Olcoz,
Lorenzo Ayuda,
Ivan Izaguirre,
Olga Peñalba:
VHDL Teamwork, Organization Units and Workspace Management.
DATE 1998: 297-302 |
