Sayantan Das

According to our database, Sayantan Das authored at least 9 papers between 2004 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2009

Design intent coverage revisited.

Arnab Sinha, Pallab Dasgupta, Bhaskar Pal, Sayantan Das, Prasenjit Basu, P. P. Chakrabarti

ACM Trans. Design Autom. Electr. Syst., 2009

2006

Design-Intent Coverage - A New Paradigm for Formal Property Verification.

Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

Synthesis of system verilog assertions.

Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P. Chakrabarti

Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, 2006

What lies between design intent coverage and model checking?

Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Discovering the input assumptions in specification refinement coverage.

Prasenjit Basu, Sayantan Das, Pallab Dasgupta, Partha Pratim Chakrabarti

Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, 2006

2005

Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model.

Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix

Proceedings of the 18th International Conference on VLSI Design (VLSI Design 2005), 2005

SAT based solutions for consistency problems in formal property specifications for open systems.

Suchismita Roy, Sayantan Das, Prasenjit Basu, Pallab Dasgupta, Partha Pratim Chakrabarti

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005

2004

Formal verification coverage: computing the coverage gap between temporal specifications.

Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni

Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent?

Prasenjit Basu, Sayantan Das, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix

Proceedings of the 2004 Design, 2004