Please use this identifier to cite or link to this item:
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
Conference Name: IFIP International Conference on Very Large Scale Integration (2006 : Nice, France)
Editor: Mir, S.
Micheli, G.
Reis, R.
Simeu, E.
Statement of
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
DOI: 10.1109/VLSISOC.2006.313211
Appears in Collections:Aurora harvest 6
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.