A formal approach for specification-driven AMS behavioral model generation. - Subhankar Mukherjee 001; Antara Ain; Subrat Kumar Panda; Rajdeep Mukhopadhyay; Pallab Dasgupta (DATE, 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 static verification approach for architectural integration of mixed-signal integrated circuits. - Rajdeep Mukhopadhyay; Anvesh Komuravelli; Pallab Dasgupta; Subrat Kumar Panda; Siddhartha Mukhopadhyay (Integr., 2010)

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)