Verification of Datapath and Controller Generation Phase in High-Level Synthesis of Digital Circuits

Chandan Karfa, Dipankar Sarkar, Chitta Mandal. Verification of Datapath and Controller Generation Phase in High-Level Synthesis of Digital Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems, 29(3):479-492, 2010. [doi]

Abstract

Abstract is missing.