A formal approach for specification-driven AMS behavioral model generation. - Subhankar Mukherjee 001; Antara Ain; Subrat Kumar Panda; Rajdeep Mukhopadhyay; Pallab Dasgupta (DATE, 2009)

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)

Post-silicon debugging of PMU integration errors using behavioral models. - Antara Ain; Subhankar Mukherjee 001; Pallab Dasgupta; Siddhartha Mukhopadhyay (Integr., 2013)

Monitoring AMS Simulation: From Assertions to Features. - Antara Ain; Pallab Dasgupta (VLSID, 2015)

Feature Indented Assertions for Analog and Mixed-Signal Validation. - Antara Ain; Antonio Anastasio Bruto da Costa; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

A Framework for Automated Feature Based Mixed-Signal Equivalence Checking. - Antara Ain; Sayandeep Sanyal; Pallab Dasgupta (VDAT, 2017)

Feature Based Identification of Transmission Line Faults by Synchronous Monitoring of PMUs. - Antara Ain; Akshay Mambakam; Pallab Dasgupta; Siddhartha Mukhopadhyay (VLSID, 2017)

Feature Based Coverage Analysis of AMS Circuits. - Antara Ain; Akshay Mambakam; Pallab Dasgupta (ISVLSI, 2018)

Interpreting Local Variables in AMS Assertions During Simulation. - Antara Ain; Pallab Dasgupta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)