Rajdeep Mukhopadhyay

According to our database, Rajdeep Mukhopadhyay authored at least 4 papers between 2009 and 2011.

Collaborative distances:

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

2011

Chassis: A Platform for Verifying PMU Integration Using Autogenerated Behavioral Models.

Antara Ain, Debjit Pal, Pallab Dasgupta, Siddhartha Mukhopadhyay, Rajdeep Mukhopadhyay, John Gough

ACM Trans. Design Autom. Electr. Syst., 2011

2010

A static verification approach for architectural integration of mixed-signal integrated circuits.

Rajdeep Mukhopadhyay, Anvesh Komuravelli, Pallab Dasgupta, Subrat Kumar Panda, Siddhartha Mukhopadhyay

Integr., 2010

2009

Instrumenting AMS assertion verification on commercial platforms.

Rajdeep Mukhopadhyay, Subrat Kumar Panda, Pallab Dasgupta, John Gough

ACM Trans. Design Autom. Electr. Syst., 2009

A formal approach for specification-driven AMS behavioral model generation.

Subhankar Mukherjee, Antara Ain, Subrat Kumar Panda, Rajdeep Mukhopadhyay, Pallab Dasgupta

Proceedings of the Design, Automation and Test in Europe, 2009