Back to Search Start Over

A re-use methodology for formal SoC protocol compliance verification.

Authors :
Nguyen, M.D.
Thalmaier, M.
Wedler, M.
Stoffel, D.
Kunz, W.
Bormann, J.
Source :
2009 Forum on Specification & Design Languages (FDL); 2009, p1-6, 6p
Publication Year :
2009

Details

Language :
English
ISBNs :
9782953050417
Database :
Complementary Index
Journal :
2009 Forum on Specification & Design Languages (FDL)
Publication Type :
Conference
Accession number :
81447974

Tools

Authors Abstract Subjects Details