Travelled to:1 × France
Collaborated with:P.Basu S.Das P.Dasgupta P.P.Chakrabarti L.Fix
Talks about:architectur (1) properti (1) coverag (1) intent (1) formal (1) design (1) verif (1) cover (1) rtl (1)
Person: Chunduri Rama Mohan
DBLP: Mohan:Chunduri_Rama
Contributed to:
2004Wrote 1 papers:
- 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.