Modelling heterogeneous interactions in SoC verification

Date

2006

Authors

Xu, X.
Lim, C.

Editors

Mir, S.
Micheli, G.
Reis, R.
Simeu, E.

Advisors

Journal Title

Journal ISSN

Volume Title

Type:

Conference paper

Citation

Proceedings of the IFIP International Conference on Very Large Scale Integration, Nice, France, 2006 : pp. 98-103

Statement of Responsibility

Justin Xu ; Cheng-Chew Lim

Conference Name

IFIP International Conference on Very Large Scale Integration (2006 : Nice, France)

DOI

10.1109/VLSISOC.2006.313211

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.

School/Discipline

Dissertation Note

Provenance

Description

Access Status

Rights

© Copyright 2006 IEEE

License

Grant ID

http://purl.org/au-research/grants/arc/LP0454838

Published Version

https://doi.org/10.1109/vlsisoc.2006.313211

Call number

Persistent link to this record

http://hdl.handle.net/2440/35218