An aspect-oriented, model-driven approach to functional hardware verification
You are here
Title | An aspect-oriented, model-driven approach to functional hardware verification |
Publication Type | Journal Article |
Year of Publication | 2011 |
Authors | Linehan E, Clarke S |
Journal | Journal of Systems Architecture |
Date Published | 2011 |
URL | http://hdl.handle.net/10344/2142 |