Efficient Verification of Scheduling, Allocation and Binding in High-Level Synthesis

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. In 2002 Euromicro Symposium on Digital Systems Design (DSD 2002), Systems-on-Chip, 4-6 September 2002, Dortmund, Germany. pages 308-315, IEEE Computer Society, 2002. [doi]

Authors

José M. Mendías

This author has not been identified. Look up 'José M. Mendías' in Google

Román Hermida

This author has not been identified. Look up 'Román Hermida' in Google

María C. Molina

This author has not been identified. Look up 'María C. Molina' in Google

Olga Peñalba

This author has not been identified. Look up 'Olga Peñalba' in Google