Model-Driven Automation for Simulation-Based Functional Verification
| 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 |
| URL | https://sharepoint.lero.ie/Publications/2012/Journal%20Papers/2012-Linehan-ModelDrivenAutomationForSimulationBasedFunctionalVerification.pdf |
Printer-friendly version