Travelled to:1 × France
1 × USA
2 × Germany
Collaborated with:P.Dasgupta P.P.Chakrabarti P.Basu R.Mohanty A.Banerjee B.Pal A.Kumar C.R.Mohan L.Fix
Talks about:coverag (2) intent (2) formal (2) design (2) architectur (1) synthesi (1) properti (1) verilog (1) generat (1) between (1)
Person: Sayantan Das
DBLP: Das:Sayantan
Contributed to:
2006
200620062004Wrote 4 papers:
- DAC-2006-BanerjeePDKD #game studies #generative #specification #testing
- Test generation games from formal specifications (AB, BP, SD, AK, PD), pp. 827–832.
- DATE-2006-DasBDC #design #model checking #question #what
- What lies between design intent coverage and model checking? (SD, PB, PD, PPC), pp. 1217–1222.
- DATE-DF-2006-DasMDC #synthesis
- Synthesis of system verilog assertions (SD, RM, PD, PPC), pp. 70–75.
- DATE-v1-2004-BasuDDCMF #architecture #design #question #verification
- Formal Verification Coverage: Are the RTL-Properties Covering the Design’s Architectural Intent? (PB, SD, PD, PPC, CRM, LF), pp. 668–669.