Model-Driven Automation for Simulation-Based Functional Verification
You are here
| Title | Model-Driven Automation for Simulation-Based Functional Verification |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Linehan E, O’Toole E, Clarke S |
| Journal | ACM Transactions on Design Automation of Electronic Systems |
| Volume | 17 |
| Date Published | 2012 |
| URL | http://ulir.ul.ie/handle/10344/2614 |
