P
Pallab Dasgupta
Researcher at Indian Institute of Technology Kharagpur
Publications - 269
Citations - 1584
Pallab Dasgupta is an academic researcher from Indian Institute of Technology Kharagpur. The author has contributed to research in topics: Formal verification & Formal specification. The author has an hindex of 17, co-authored 247 publications receiving 1361 citations. Previous affiliations of Pallab Dasgupta include Jadavpur University & Synopsys.
Papers
More filters
Proceedings ArticleDOI
Synthesis of System Verilog Assertions
TL;DR: This paper investigates the structure of SVA properties and decomposes them into simple communicating parallel hardware units that together act as a monitor for the property, and presents an approach for synthesizing System Verilog assertions (SVA) in hardware.
Proceedings ArticleDOI
Identification of Test Cases for Automated Driving Systems Using Bayesian Optimization
Briti Gangopadhyay,Siddartha Khastgir,Sumanta Dey,Pallab Dasgupta,Giovanni Montana,Paul Jennings +5 more
TL;DR: A test case identification technique using Bayesian Optimization was applied to an SAE Level-4 Low Speed Automated Driving (LSAD) system which was modelled in a driving simulator.
Book
A Roadmap for Formal Property Verification
TL;DR: The author presents a roadmap for Formal Property Verification using the Intent Coverage Algorithm, which automates the very labor-intensive and therefore time-heavy and expensive process of manually writing properties for temporal specification.
Journal ArticleDOI
Policy Based Security Analysis in Enterprise Networks: A Formal Approach
TL;DR: The proposed framework incorporates formal modeling of conflict-free policy specification and distributed ACL implementation in the network and finally deploys Boolean satisfiability (SAT) based verification procedure to check the conformation between the policy and implementation models.