Chitta Mandal

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Chandan Karfa, Kunal Banerjee, Dipankar Sarkar, Chitta Mandal
Equivalence Checking of Array-Intensive Programs. ISVLSI (2011)
Chandan Karfa, Chitta Mandal, Dipankar Sarkar
Verification of Register Transfer Level Low Power Transformations. ISVLSI (2011)
Chandan Karfa, Dipankar Sarkar, Chitta Mandal
Verification of Datapath and Controller Generation Phase in High-Level Synthesis of Digital Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (3) (2010)
Chandan Karfa, Dipankar Sarkar, Chitta Mandal, P. Kumar
An Equivalence-Checking Method for Scheduling Verification in High-Level Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (3) (2008)