Cohesive Coverage Management

Cohesive Coverage Management Leveraging Formal Test Plans
Artitra Hazra, Pallab Dasgupta, P.P. Chakrabarti, Lambert Academic Publishing, 2012

This monograph prescribes an emerging style of verification for digital integrated circuits and reports work done with Synopsys. Primarily developed out of the MS thesis of Aritra Hazra.

a roadmap for FPV

A Roadmap for Formal Property Verification
Pallab Dasgupta, Springer, 2006.

This single author monograph articulates the early contributions of the nominee in the area of formal property verification.


a roadmap for FPV

Multi-objective Heuristic Search.
Pallab Dasgupta, P.P. Chakrabarti, S.C. DeSarkar,
Vieweg Verlag, Germany, 1999.

This monograph was developed out of the first six chapters of the nominee's PhD thesis.

Books Chapters

Sl. No. Books Chapters Author Publisher and Year
1 On the Deep Structure of Ragas and Analytic Rating of Music

Book Title: Heritage Preservation – A computational approach
Ed: Bhabatosh Chanda, Subhasis Chaudhuri, Santanu Chaudhury
Sudipa Mandal,
Shilpi Chaudhuri,
Antonio Anastasio Bruto da Costa,
Gouri Karambelkar,
Pallab Dasgupta
Springer 2018
2 A Logical Perspective of Formal Verification: A Narrative on the
Genesis and Evolution of the Formal Verification Group
at IIT Kharagpur.

Book Title: The Mind of an Engineer
Ed: Purnendu Ghosh, Baldev Raj, INAE
Pallab Dasgupta Springer 2016
3 Formal Assurance of Signaling Safety: A Railways Perspective.
Book Title: Handbook of Research on Emerging Innovations in Rail
Transportation Engineering

Ed: B Umesh Rai
Pallab Dasgupta
Mahesh Mangal
IGI Global, May 2016
4 Early Time Budgeting for Component-Based Embedded
Control Systems.

Book Title: Embedded Systems Development
Ed: A. S-Vincentelli, H. Zeng, M.Di-Natale, P.Marwedel
Manoj J Dixit,
S. Ramesh,
Pallab Dasgupta
Springer, 2014
5 Agent Searching.
Book Title: Computational Mathematics, Modelling and Algorithms
Pallab Dasgupta
P.P. Chakrabarti,
Narosa Publishing House, 1999
6 Can Semi-Formal be made more Formal?
Book Title: Next Generation Design and Verification Methodologies
for Distributed Embedded Control Systems.

Ed: S.Ramesh, P.Sampath.
Ansuman Banerjee,
Pallab Dasgupta,
P.P. Chakrabarti
Springer, 2007