Travelled to:1 × Germany
Collaborated with:P.Kalla F.Enescu
Talks about:datapath (1) arithmet (1) operand (1) multipl (1) equival (1) length (1) verif (1) word (1)
Person: Namrata Shekhar
DBLP: Shekhar:Namrata
Contributed to:
2006Wrote 1 papers:
- DATE-2006-ShekharKE #equivalence #multi #verification
- Equivalence verification of arithmetic datapaths with multiple word-length operands (NS, PK, FE), pp. 824–829.