_id,doi,title 4480,10.1109/ICCAD.1999.810700,Formal specification and verification of a dataflow processor array