Verification of KPN Level Transformations

Chandan Karfa, Dipankar Sarkar, Chittaranjan A. Mandal. Verification of KPN Level Transformations. In 26th International Conference on VLSI Design and 12th International Conference on Embedded Systems, Pune, India, January 5-10, 2013. pages 338-343, IEEE, 2013. [doi]

Abstract

Abstract is missing.