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]