Microsoft Research
Microsoft Translator |
Verification of the AMBA Protocol

Samin Ishtiaq
2006

In  IEEE 7th International Workshop on Microprocessor Test & Verification

Details

TypeInproceedings
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Verification of the AMBA Protocol