| Synthesis of system verilog assertions S Das, R Mohanty, P Dasgupta, PP Chakrabarti Proceedings of the Design Automation & Test in Europe Conference 2, 1-6, 2006 | 83 | 2006 |
| Formal methods for analyzing the completeness of an assertion suite against a high-level fault model S Das, A Banerjee, P Basu, P Dasgupta, PP Chakrabarti, CR Mohan, ... 18th International Conference on VLSI Design held jointly with 4th …, 2005 | 29 | 2005 |
| Design-intent coverage—A new paradigm for formal property verification P Basu, S Das, A Banerjee, P Dasgupta, PP Chakrabarti, CR Mohan, ... IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006 | 21 | 2006 |
| Test generation games from formal specifications A Banerjee, B Pal, S Das, A Kumar, P Dasgupta Proceedings of the 43rd annual Design Automation Conference, 827-832, 2006 | 19 | 2006 |
| Formal verification coverage: computing the coverage gap between temporal specifications A Das, P Basu, A Banerjee, P Dasgupta, PP Chakrabarti, CR Mohan, ... IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004 …, 2004 | 15 | 2004 |
| Sat based solutions for consistency problems in formal property specifications for open systems S Roy, S Das, P Basu, P Dasgupta, PP Chakrabarti ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005 …, 2005 | 10 | 2005 |
| Design intent coverage revisited A Sinha, P Dasgupta, B Pal, S Das, P Basu, PP Chakrabarti ACM Transactions on Design Automation of Electronic Systems (TODAES) 14 (1 …, 2009 | 9 | 2009 |
| What lies between design intent coverage and model checking? S Das, P Basu, P Dasgupta, PP Chakrabarti Proceedings of the Design Automation & Test in Europe Conference 1, 1-6, 2006 | 8 | 2006 |
| Formal verification coverage: Are the RTL-properties covering the design's architectural intent? P Basu, S Das, P Dasgupta, PP Chakrabarti, CR Mohan, L Fix Proceedings Design, Automation and Test in Europe Conference and Exhibition …, 2004 | 7 | 2004 |
| Instruction-set-extension exploration using decomposable heuristic search S Das, PP Chakrabarti, P Dasgupta 19th International Conference on VLSI Design held jointly with 5th …, 2006 | 5 | 2006 |
| Discovering the input assumptions in specification refinement coverage P Basu, S Das, P Dasgupta, PP Chakrabarti Proceedings of the 2006 Asia and South Pacific Design Automation Conference …, 2006 | 1 | 2006 |