Please use this identifier to cite or link to this item:
|Scopus||Web of Science®||Altmetric|
|Title:||Modelling heterogeneous interactions in SoC verification|
|Citation:||Proceedings of the IFIP International Conference on Very Large Scale Integration, Nice, France, 2006 : pp. 98-103|
|Publisher:||International Federation for Information Processing|
|Conference Name:||IFIP International Conference on Very Large Scale Integration (2006 : Nice, France)|
|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|
|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.