TitleModel-Driven Automation for Simulation-Based Functional Verification
Publication TypeJournal Article
Year of Publication2012
AuthorsLinehan E, O’Toole E, Clarke S
JournalACM Transactions on Design Automation of Electronic Systems
Volume17
Date Published2012
URLhttp://ulir.ul.ie/handle/10344/2614