The author leads the Formal Verification Group at the Indian Institute of Technology, Kharagpur (http://www.facweb.iitkgp.ernet.in/~pallab/forverif.html). He has collaborations with leading companies, including Intel, Sun Microsystems, Synopsys, Texas Instruments, National Semiconductors, General Motors, Interra Systems and Virtio Corp, on developing formal methods for design verification. The author is a senior member of IEEE.
2 द्वारा ईबुक Pallab Dasgupta
Pallab Dasgupta: A Roadmap for Formal Property Verification
Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? W …
PDF
अंग्रेज़ी
€96.29
P. P. Chakrabarti & Pallab Dasgupta: Multiobjective Heuristic Search
A large number of problems require the optimization of multiple criteria. These crite- ria are often non-commensurate and sometimes conflicting in nature making the task of optimization more difficul …
PDF
अंग्रेज़ी
DRM
€58.04
