Text this: Aspect-oriented programming with the e verification language : a pragmatic guide for testbench developers / David Robinson.