Search Results - "Kumar, M V Achutha Kiran" :: Katalog Arama

1
RTL2RTL Formal Equivalence: Boosting the Design Confidence by Kumar, M V Achutha Kiran, Gupta, Aarti, Bindumadhava, S S

Published 15-07-2014
“…EPTCS 156, 2014, pp. 29-44 Increasing design complexity driven by feature and performance requirements and the Time to Market (TTM) constraints force a faster…”

Get full text

Journal Article
QR Code
Save to List

Saved in:
2
RTL2RTL Formal Equivalence: Boosting the Design Confidence by M V Achutha Kiran Kumar, Gupta, Aarti, S S Bindumadhava

Published in Electronic proceedings in theoretical computer science (08-07-2014)
“…Increasing design complexity driven by feature and performance requirements and the Time to Market (TTM) constraints force a faster design and validation…”

Get full text

Journal Article
QR Code
Save to List

Saved in: