Kausik Datta

According to our database, Kausik Datta authored at least 5 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Automated evaluation of comments to aid software maintenance.

Srijoni Majumdar, Ayush Bansal, Partha Pratim Das, Paul D. Clough, Kausik Datta, Soumya Kanti Ghosh

J. Softw. Evol. Process., 2022

2016

An Introduction to VHDL 2008.

Kausik Datta, Goutam Kumar Bhaumik, Rohit Goel

Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016

A Verification Guided Approach for Selective Program Transformations for Approximate Computing.

Sayandeep Mitra, Moumita Das, Ansuman Banerjee, Kausik Datta, Tsung-Yi Ho

Proceedings of the 25th IEEE Asian Test Symposium, 2016

2008

CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications.

Ansuman Banerjee, Kausik Datta, Pallab Dasgupta

Proceedings of the Automated Technology for Verification and Analysis, 2008

2004

Assertion Based Verification Using HDVL.

Kausik Datta, Partha Pratim Das

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004