Please use this identifier to cite or link to this item:
https://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) |
Editor: | Mir, S. Micheli, G. Reis, R. Simeu, E. |
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 |
DOI: | 10.1109/VLSISOC.2006.313211 |
Grant ID: | http://purl.org/au-research/grants/arc/LP0454838 |
Published version: | http://dx.doi.org/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.