Prashant Aggarwal

Using Coverage to Deploy Formal Verification in a Simulation World

Vigyan Singhal, Prashant Aggarwal, 2011, CAV.

Planning for end-to-end formal using simulation-based coverage

Vigyan Singhal, Prashant Aggarwal, Darrow Chu, 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD).

Analysis of gunshot residue of different calibers of country-made and standard firearms on cloth target

Prashant Aggarwal, Komal Yadav N B Bardhan R Chauhan, 2017 .

Low voltage current mirrors with enhanced bandwidth

Maneesha Gupta, Prashant Aggarwal, Pritender Singh, 2009 .