1 × France
1 × USA
2 × Germany
P.Dasgupta P.P.Chakrabarti P.Basu R.Mohanty A.Banerjee B.Pal A.Kumar C.R.Mohan L.Fix
coverag (2) intent (2) formal (2) design (2) architectur (1) synthesi (1) properti (1) verilog (1) generat (1) between (1)
Person: Sayantan Das
Wrote 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.