Formal descriptions, semantics and verification of VLSI array processors | IEEE Conference Publication | IEEE Xplore