Reasoning about Permutations in Regular Arrays

Björn Lisper, Sanjay V. Rajopadhye. Reasoning about Permutations in Regular Arrays. In Jørgen Staunstrup, Robin Sharp, editors, Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992. Volume A-5 of IFIP Transactions, pages 139-157, North-Holland, 1992.

Abstract

Abstract is missing.