Searching for authors named "Pallab Dasgupta" – sorted by Relevance.
-
Formal Verification of Module Interfaces against Real Time Specifications
- -14, 2002, New Orleans, Louisiana, USA. Copyright 2002 ACM 1-58113-461-4/02/0006 ...� 5.00. Pallab Dasgupta
- Add To MetaCart
-
Abstractions for Model Checking of Event Timings
- 1 Abstractions for Model Checking of Event Timings Jatindra K. Deka, S. Chaki, Pallab Dasgupta
- Add To MetaCart
-
Synthesis of system verilog assertions
- Synthesis of System Verilog Assertions Sayantan Das Rizi Mohanty Pallab Dasgupta P.P. Chakrabarti
- Cited by 1 (0 self) – Add To MetaCart
-
Min-max computation tree logic
- Min-max Computation Tree Logic Pallab Dasgupta, P.P. Chakrabarti, Jatindra Kumar Deka and Sriram
- Cited by 4 (3 self) – Add To MetaCart
-
Abstraction of Word-level Linear Arithmetic
- acknowledges the Dept. of Sci & Tech, Govt. of India for partial support of this work. Pallab Dasgupta
- Add To MetaCart

