Linehan, Eamonn; O'Toole, Eamonn; Clarke, Siobhán
(Association for Computing Machinery, 2012)
Developing testbenches for dynamic functional verification of hardware designs is a software inten-
sive process that lies on the critical path of electronic system design. The increasing capabilities
of electronic ...