Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Advisor
Help
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Adelaide Research & Scholarship
Adelaide Research & Scholarship
Search
Search:
All collections
Schools and Disciplines
School of Electrical and Electronic Engineering
Electrical and Electronic Engineering publications
for
Current filters:
Title
Author
Subject
Date Issued
Advisor
School
Department
Organisation
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Advisor
School
Department
Organisation
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Advisor
School
Department
Organisation
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-6 of 6 (Search time: 0.003 seconds).
previous
1
next
Item hits:
Preview
Issue Date
Title
Author(s)
2010
Transfer-resource graph and petri-net for system-on-chip verification
Xu, X.
;
Lim, C.
;
Pawlewski, P.
2006
Exploiting concurrency in system-on-chip verification
Xu, X.
;
Lim, C.
;
Lim, Y.
;
IEEE Asia Pacific Conference on Circuits and Systems (2006 : Singapore)
2006
Modelling heterogeneous interactions in SoC verification
Xu, X.
;
Lim, C.
;
Mir, S.
;
Micheli, G.
;
Reis, R.
;
Simeu, E.
;
IFIP International Conference on Very Large Scale Integration (2006 : Nice, France)
2008
Positioning test-benches and test-programs in interaction-oriented system-on-chip verification
Xu, X.
;
Lim, C.
;
Liebelt, M.
;
Varma, P.
;
HLDVT '08 (2008 : Nevada, USA)
2008
Using transfer-resource graph for software-based verification of system-on-chip
Xu, X.
;
Lim, C.
2010
Modeling interrupts for software-based system-on-chip verification
Xu, X.
;
Lim, C.
Discover
Author
1
HLDVT '08 (2008 : Nevada, USA)
1
IEEE Asia Pacific Conference on C...
1
IFIP International Conference on ...
1
Liebelt, M.
1
Lim, Y.
1
Micheli, G.
1
Mir, S.
1
Pawlewski, P.
1
Reis, R.
1
Simeu, E.
.
next >
Subject
1
Concurrency
1
event-driven
1
Hardware-software co-verification
1
interrupt
1
parallelism
1
resourcecontention
1
simulation
1
system-on-chip
1
verification
Date issued
2
2010
2
2008
2
2006