Éamonn Linehan, Siobhán Clarke. An aspect-oriented, model-driven approach to functional hardware verification. Journal of Systems Architecture, 58(5):195-208, 2012. [doi]
@article{LinehanC12, title = {An aspect-oriented, model-driven approach to functional hardware verification}, author = {Éamonn Linehan and Siobhán Clarke}, year = {2012}, doi = {10.1016/j.sysarc.2011.02.001}, url = {http://dx.doi.org/10.1016/j.sysarc.2011.02.001}, researchr = {https://researchr.org/publication/LinehanC12}, cites = {0}, citedby = {0}, journal = {Journal of Systems Architecture}, volume = {58}, number = {5}, pages = {195-208}, }