Galpin, Darren; Driver, Cormac; Clarke, Siobhán
(Association for Computing Machinery, 2009)
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In recent years, the continued growth of the ...