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

id	sg-nus-scholar.10635-78417
record_format	dspace
spelling	sg-nus-scholar.10635-784172023-07-18T00:57:42Z Using formal techniques to debug the AMBA system-on-chip bus protocol Roychoudhury, A. Mitra, T. Karri, S.R. COMPUTER SCIENCE 10.1109/DATE.2003.1253709 Proceedings -Design, Automation and Test in Europe, DATE 828-833 2014-07-04T03:16:01Z 2014-07-04T03:16:01Z 2003 Conference Paper Roychoudhury, A., Mitra, T., Karri, S.R. (2003). Using formal techniques to debug the AMBA system-on-chip bus protocol. Proceedings -Design, Automation and Test in Europe, DATE : 828-833. ScholarBank@NUS Repository. https://doi.org/10.1109/DATE.2003.1253709 15301591 http://scholarbank.nus.edu.sg/handle/10635/78417 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
description	10.1109/DATE.2003.1253709
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Roychoudhury, A. Mitra, T. Karri, S.R.
format	Conference or Workshop Item
author	Roychoudhury, A. Mitra, T. Karri, S.R.
spellingShingle	Roychoudhury, A. Mitra, T. Karri, S.R. Using formal techniques to debug the AMBA system-on-chip bus protocol
author_sort	Roychoudhury, A.
title	Using formal techniques to debug the AMBA system-on-chip bus protocol
title_short	Using formal techniques to debug the AMBA system-on-chip bus protocol
title_full	Using formal techniques to debug the AMBA system-on-chip bus protocol
title_fullStr	Using formal techniques to debug the AMBA system-on-chip bus protocol
title_full_unstemmed	Using formal techniques to debug the AMBA system-on-chip bus protocol
title_sort	using formal techniques to debug the amba system-on-chip bus protocol
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/78417
_version_	1772818697518317568

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

Similar Items