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

Jos M. Mendas, Romn Hermida, Mara C. Molina, Olga Pealba

Browse the full DSD paper archive.