Formal specification and verification of a dataflow processor array.

Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani

Browse the full ICCAD paper archive.