Lopamudra Sen

According to our database, Lopamudra Sen authored at least 1 paper in 2010.

Collaborative distances:

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

2010

DFT logic verification through property based formal methods - SOC to IP.

Lopamudra Sen, Amit Roy, Supriya Bhattacharjee, Bijitendra Mittra, Subir K. Roy

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010