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