TitleAn aspect-oriented, model-driven approach to functional hardware verification
Publication TypeJournal Article
Year of Publication2011
AuthorsLinehan E, Clarke S
JournalJournal of Systems Architecture
Date Published2011
URLhttp://hdl.handle.net/10344/2142