Rajdeep Mukhopadhyay

Publication Activity (10 Years)

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

Publications

Antara Ain, Debjit Pal, Pallab Dasgupta, Siddhartha Mukhopadhyay, Rajdeep Mukhopadhyay, John Gough
Chassis: A Platform for Verifying PMU Integration Using Autogenerated Behavioral Models. ACM Trans. Design Autom. Electr. Syst. 16 (3) (2011)
Rajdeep Mukhopadhyay, Anvesh Komuravelli, Pallab Dasgupta, Subrat Kumar Panda, Siddhartha Mukhopadhyay
A static verification approach for architectural integration of mixed-signal integrated circuits. Integr. 43 (1) (2010)
Rajdeep Mukhopadhyay, Subrat Kumar Panda, Pallab Dasgupta, John Gough
Instrumenting AMS assertion verification on commercial platforms. ACM Trans. Design Autom. Electr. Syst. 14 (2) (2009)
Subhankar Mukherjee, Antara Ain, Subrat Kumar Panda, Rajdeep Mukhopadhyay, Pallab Dasgupta
A formal approach for specification-driven AMS behavioral model generation. DATE (2009)