1 × France
1 × Germany
S.Das P.Dasgupta P.P.Chakrabarti C.R.Mohan L.Fix
coverag (2) intent (2) design (2) architectur (1) properti (1) between (1) formal (1) verif (1) model (1) cover (1)
Person: Prasenjit Basu
Wrote 2 papers:
- 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-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.