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 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.
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.
|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
Antonio Anastasio Bruto da Costa,
|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
Ed: B Umesh Rai
|IGI Global, May 2016|
|4||Early Time Budgeting for Component-Based Embedded |
Book Title: Embedded Systems Development
Ed: A. S-Vincentelli, H. Zeng, M.Di-Natale, P.Marwedel
|Manoj J Dixit,
Book Title: Computational Mathematics, Modelling and Algorithms
|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.