Miroslav N. Velev, Ping Gao 0002. Exploiting Abstraction for Efficient Formal Verification of DSPs with Arrays of Reconfigurable Functional Units. In Shengchao Qin, Zongyan Qiu, editors, Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. Volume 6991 of Lecture Notes in Computer Science, pages 307-322, Springer, 2011. [doi]
Abstract is missing.