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 is missing.