Using formal techniques to debug the AMBA system-on-chip bus protocol

10.1109/DATE.2003.1253709

Saved in:
Bibliographic Details
Main Authors: Roychoudhury, A., Mitra, T., Karri, S.R.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2014
Online Access:http://scholarbank.nus.edu.sg/handle/10635/78417
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Be the first to leave a comment!
You must be logged in first