Please use this identifier to cite or link to this item: http://hdl.handle.net/2440/35218
Citations
Scopus Web of Science® Altmetric
?
?
Type: Conference paper
Title: Modelling heterogeneous interactions in SoC verification
Author: Xu, X.
Lim, C.
Citation: Proceedings of the IFIP International Conference on Very Large Scale Integration, Nice, France, 2006 : pp. 98-103
Publisher: International Federation for Information Processing
Publisher Place: France
Issue Date: 2006
ISBN: 3901882197
9783901882197
Conference Name: IFIP International Conference on Very Large Scale Integration (2006 : Nice, France)
Statement of
Responsibility: 
Justin Xu ; Cheng-Chew Lim
Abstract: This paper presents a novel modelling methodology for system-on-chip (SoC) verification based on software techniques. This methodology facilitates the automation of test generation; it also enables the focuses being placed on system-level behaviors such as concurrency and resource-contentions. We have demonstrated the feasibility to generalize heterogeneous interactions systematically and use them as the building blocks to generate complex test-cases of real-world concurrency.
Rights: © Copyright 2006 IEEE
RMID: 0020062195
DOI: 10.1109/VLSISOC.2006.313211
Appears in Collections:Electrical and Electronic Engineering publications

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.